Theorem IsMulFreimanIso.prod

Modification history