Theorem CategoryTheory.isCoseparating_iff_mono

Modification history