Theorem MonoidHom.ext_iff₂

Modification history