Def CategoryTheory.CommAlgCat.isoEquivAlgEquiv

Modification history