Def category_theory.subobject.iso_of_eq

Modification history