Skip to content

Formalize Theorem 7.2.2 in the HoTT Book#1180

Open
anshwad10 wants to merge 1 commit intoagda:masterfrom anshwad10:patch-2
+20-1

Commits

Commits on Jan 15, 2025