Def Stonean.finiteCoproduct.cocone

Modification history

2024-05-07 21:46

Mathlib/Topology/Category/Stonean/Limits.lean

feat(LightProfinite): (co)limits (#9513) …

Deleted Stonean.finiteCoproduct.cocone View on Github →

2023-07-27 19:54

Mathlib/Topology/Category/Stonean/Limits.lean

feat: define the category of extremally disconnected compact Hausdorff spaces (#5761) …

Added Stonean.finiteCoproduct.cocone View on Github →