Def CategoryTheory.Subobject.isoOfMkEq

Modification history