Skip to content

Modalities: generalize OO_conn_map_isconnected and other results#2371

Merged
jdchristensen merged 2 commits into
HoTT:masterfrom
jdchristensen:isconnmap_connected
Jun 18, 2026
Merged

Modalities: generalize OO_conn_map_isconnected and other results#2371
jdchristensen merged 2 commits into
HoTT:masterfrom
jdchristensen:isconnmap_connected