Mathlib Changelog
v4
Changelog
About
Github
Def
CompHaus.pullback.isLimit
Modification history
2024-08-01 08:35
Mathlib/Topology/Category/CompHaus/Limits.lean
refactor(Topology/Category): unify some definitions of subcategories of compact Hausdorff spaces (#12930) …
Deleted
CompHaus.pullback.isLimit
View on Github →
2023-06-02 11:07
Mathlib/Topology/Category/CompHaus/ExplicitLimits.lean
feat: Condensed objects (#4527)
Added
CompHaus.pullback.isLimit
View on Github →