Theorem TopCat.limit_topology
Modification history
2025-07-04 10:05
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore: whitespace before `:` (#26727) …
Modified TopCat.limit_topologyView on Github →2025-03-04 22:56
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore(Topology/Category): generalize `topCat_hasLimitsOfSize` to more universes (#22540) …
Modified TopCat.limit_topologyView on Github →