Skip to content

Fix diagram and proof of Theorem 3.3.8 (set bundle over circle)#190

Open
fizruk wants to merge 1 commit intoUniMath:masterfrom
fizruk:fix-theorem-3.3.8
Open

Fix diagram and proof of Theorem 3.3.8 (set bundle over circle)#190
fizruk wants to merge 1 commit intoUniMath:masterfrom
fizruk:fix-theorem-3.3.8

Commits

Commits on Jul 27, 2023