Tao 2006

Under Tao 2006, punctilious formalizes the theories described in [Tao06, Analysis I] .

One theory-derivation is provided per chapter in the original book.

Book chapters