Theorem MonoidHom.ker_toSubmonoid

Modification history