Theorem IsMulFreimanIso.mulRothNumber_congr

Modification history