Theorem IsMulFreimanHom.mono

Modification history