Theorem MonoidWithZeroHom.inr_strictMono

Modification history