Theorem IsMulFreimanHom.mul_eq_mul

Modification history