Theorem MonoidWithZeroHom.inl_mono

Modification history