Skip to content

Misc cleanups to PathGroupoids, Equiv, HProp and BoundedSearch#2198

Merged
Alizter merged 4 commits intoHoTT:masterfrom jdchristensen:misc-cleanupsJan 15, 2025