Theorem CategoryTheory.isSeparator_of_isColimit_cofan

Modification history

2025-01-26 20:04
Mathlib/CategoryTheory/Generator/Basic.lean
chore: deduplicate proof that coproduct of separating set is separator (#21081)
Added CategoryTheory.isSeparator_of_isColimit_cofanView on Github →