Def Stonean.finiteCoproduct.isColimit'

Modification history

2024-05-07 21:46
Mathlib/Topology/Category/Stonean/Limits.lean
feat(LightProfinite): (co)limits (#9513) …
Deleted Stonean.finiteCoproduct.isColimit'View on Github →
2023-08-23 08:35
Mathlib/Topology/Category/Stonean/Limits.lean
feat: `Stonean` is precoherent (#6725) …
Added Stonean.finiteCoproduct.isColimit'View on Github →