Skip to content

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

Open
fizruk wants to merge 1 commit into
UniMath: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 into
UniMath:masterfrom
fizruk:fix-theorem-3.3.8

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

6191f13
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs