Theorem MonoidHom.eq_iff_eq_on_generator

Modification history