Theorem MonoidHom.coe_toMultiplicative_ker

Modification history