Def CategoryTheory.Equivalence.ofFullSubcategory

Modification history