Def category_theory.subobject.lower_equivalence

Modification history