Theorem CompHaus.finiteCoproduct.ι_desc

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.finiteCoproduct.ι_descView on Github →
2024-05-02 22:40
Mathlib/Topology/Category/CompHaus/Limits.lean
chore(Topology/Category): remove `ProfiniteMax` and `CompHausMax` (#12599) …
Modified CompHaus.finiteCoproduct.ι_descView on Github →
2024-04-15 10:00
Mathlib/Topology/Category/CompHaus/Limits.lean
chore(Topology/Category): make finite coproducts in `CompHaus` universe polymorphic (#12138)
Modified CompHaus.finiteCoproduct.ι_descView on Github →
2023-06-02 11:07
Mathlib/Topology/Category/CompHaus/ExplicitLimits.lean
feat: Condensed objects (#4527)
Added CompHaus.finiteCoproduct.ι_descView on Github →