Skip to content

refer to Corollary 3.2.7 in Lemma 7.2.4#865

Merged
andrejbauer merged 1 commit intoHoTT:masterfrom mikeshulman:lem-dneSep 9, 2015

Commits

Commits on Sep 8, 2015