Theorem MonoidHom.inr_apply

Modification history