Mathlib Changelog
v4
Changelog
About
Github
Theorem
TopCat.hasLimit_iff_small_sections
Modification history
2025-03-04 22:56
Mathlib/Topology/Category/TopCat/Limits/Basic.lean
chore(Topology/Category): generalize `topCat_hasLimitsOfSize` to more universes (#22540) …
Added
TopCat.hasLimit_iff_small_sections
View on Github →