This is a subentry of HTT, A.3.2 and of a reading guide to HTT.
Created on June 29, 2012 at 19:17:22. See the history of this page for a list of all contributions to it.