flattening for pushouts + total space of Hopf construction#1840
Merged
Alizter merged 12 commits intoHoTT:masterfrom Alizter:ps/branch/flattening_for_pushoutsFeb 12, 2024
Commits
Commits on Feb 12, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed