Theorem MonoidHom.inr_strictMono

Modification history