Theorem IsMulFreimanIso.isMulFreimanHom

Modification history