Theorem IsMulFreimanHom.mulRothNumber_mono

Modification history