Theorem CompHausLike.finiteCoproduct.openEmbedding_ι

Modification history

2024-10-18 21:29
Mathlib/Topology/Category/CompHausLike/Limits.lean
chore: Rename `OpenEmbedding` to `IsOpenEmbedding` (#17898) …
Deleted CompHausLike.finiteCoproduct.openEmbedding_ιView on Github →
2024-07-02 14:31
Mathlib/Topology/Category/CompHausLike/Limits.lean
refactor(Topology/Category): add CompHausLike.Limits (#13905) …
Added CompHausLike.finiteCoproduct.openEmbedding_ιView on Github →