Mathlib Changelog
v4
Changelog
About
Github
Theorem
TopCat.continuous_iff_of_isColimit
Modification history
2025-08-22 18:35
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore(Topology/Category/TopCat): fix universes in continuous_iff_of_isColimit (#28770) …
Modified
TopCat.continuous_iff_of_isColimit
View on Github →
2025-02-11 09:10
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
refactor(Topology): colimits in `TopCat` (#20369) …
Added
TopCat.continuous_iff_of_isColimit
View on Github →