Skip to content

Connectedness.v: remove a universe variable from conn_point_incl#1725

Merged
jdchristensen merged 1 commit intoHoTT:masterfrom jdchristensen:conn_point_inclFeb 27, 2023
+2-1

Commits