Theorem TopCat.isQuotientMap_of_isColimit_cofork

Modification history

2025-02-11 09:10
Mathlib/Topology/Category/TopCat/Limits/Pullbacks.lean
refactor(Topology): colimits in `TopCat` (#20369) …
Added TopCat.isQuotientMap_of_isColimit_coforkView on Github →