Mathlib Changelog
v4
Changelog
About
Github
Theorem
TopCat.isOpen_iff_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.isOpen_iff_of_isColimit_cofork
View on Github →