Def CompHausLike.finiteCoproduct.ι

Modification history

2025-02-03 16:47
Mathlib/Topology/Category/CompHausLike/Limits.lean
feat(Topology/Category): concrete category refactor for topological spaces (#21302) …
Modified CompHausLike.finiteCoproduct.ιView on Github →
2024-07-02 14:31
Mathlib/Topology/Category/CompHausLike/Limits.lean
refactor(Topology/Category): add CompHausLike.Limits (#13905) …
Added CompHausLike.finiteCoproduct.ιView on Github →