Skip to content

ReflectiveSubuniverse: simplify universe vars in conn_map_homotopic#1835

Merged
jdchristensen merged 1 commit intoHoTT:masterfrom jdchristensen:RSU-universeFeb 6, 2024

Commits