Theorem IsMulFreimanIso.threeGPFree_congr

Modification history