Def CompHausLike.finiteCoproduct.isColimit

Modification history

2024-07-02 14:31

Mathlib/Topology/Category/CompHausLike/Limits.lean

refactor(Topology/Category): add CompHausLike.Limits (#13905) …

Added CompHausLike.finiteCoproduct.isColimit View on Github →