Theorem CategoryTheory.Subobject.eq_top_of_isIso_arrow

Modification history