Theorem MulEquivClass.isMulFreimanIso

Modification history