Theorem equivEquivIso_hom

Modification history