Skip to content

A map is an embedding if and only if it has contractible fibers at values#858

Merged
EgbertRijke merged 3 commits intoUniMath:masterfrom tomdjong:embeddings-contractible-fibersOct 18, 2023
+38

Commits

Commits on Oct 18, 2023