Theorem isMulFreimanHom_const

Modification history