Theorem isMulFreimanHom_two

Modification history