Theorem CategoryTheory.isCoseparator_unop_iff

Modification history