Def CommAlgCat.isoEquivAlgEquiv

Modification history