Theorem MonoidHom.ext_mint

Modification history