Def TopCat.limitConeInfi

Modification history

2025-03-04 22:56
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore(Topology/Category): generalize `topCat_hasLimitsOfSize` to more universes (#22540) …
Deleted TopCat.limitConeInfiView on Github →
2024-05-02 22:40
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore(Topology/Category): remove `ProfiniteMax` and `CompHausMax` (#12599) …
Modified TopCat.limitConeInfiView on Github →
2023-04-27 14:06
Mathlib/Topology/Category/Top/Limits/Basic.lean
feat: port Topology.Category.Top.Limits.Basic (#3487)
Added TopCat.limitConeInfiView on Github →