Def CompHausLike.coproductIsColimit

Modification history

2025-12-19 10:23

Mathlib/Topology/Category/CompHausLike/Cartesian.lean

feat(Topology/Category): explicit binary coproducts in `CompHausLike` (#32914) …

Added CompHausLike.coproductIsColimit View on Github →