Def Stonean.finiteCoproduct.explicitCocone

Modification history

2024-05-07 21:46

Mathlib/Topology/Category/Stonean/Limits.lean

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

Deleted Stonean.finiteCoproduct.explicitCocone View on Github →

2023-08-23 08:35

Mathlib/Topology/Category/Stonean/Limits.lean

feat: `Stonean` is precoherent (#6725) …

Added Stonean.finiteCoproduct.explicitCocone View on Github →