Skip to content

prove twist hexagon in twist construction#2135

Open
Alizter wants to merge 2 commits intoHoTT:masterfrom Alizter:ps/rr/prove_twist_hexagon_in_twist_construction
+104-14

Commits