Skip to content

Equivalences are closed under "transfinite composition"#1117

Merged
fredrik-bakke merged 3 commits intoUniMath:masterfrom VojtechStep:feature/sequential-comp-equivApr 18, 2024