Theorem CategoryTheory.isCoseparator_iff_faithful_yoneda_obj

Modification history