Skip to content

Formalize Theorem 7.2.2 in the HoTT Book#1180

Merged
felixwellen merged 4 commits intoagda:masterfrom
anshwad10:patch-2
May 20, 2025

Commits

Commits on Jan 15, 2025

Commits on May 20, 2025