Theorem TopCat.colimit_isOpen_iff

Modification history

2025-02-11 09:10
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
refactor(Topology): colimits in `TopCat` (#20369) …
Modified TopCat.colimit_isOpen_iffView on Github →
2025-01-07 07:29
Mathlib/Topology/Category/TopCat/Limits/Pullbacks.lean
chore: smile more often (#20436) …
Modified TopCat.colimit_isOpen_iffView on Github →
2024-05-02 22:40
Mathlib/Topology/Category/TopCat/Limits/Pullbacks.lean
chore(Topology/Category): remove `ProfiniteMax` and `CompHausMax` (#12599) …
Modified TopCat.colimit_isOpen_iffView on Github →
2023-05-12 18:40
Mathlib/Topology/Category/Top/Limits/Pullbacks.lean
feat: port Topology.Category.Top.Limits.Pullbacks (#3802)
Added TopCat.colimit_isOpen_iffView on Github →