Theorem MonoidHomClass.isMulFreimanHom

Modification history