Theorem IsMulFreimanHom.superset

Modification history