Theorem MonoidHom.inl_strictMono

Modification history