Theorem MonoidHom.inl_mono

Modification history