Theorem MonoidWithZeroHom.inl_strictMono

Modification history