Def equivEquivIso

Modification history