Theorem OrderMonoidHom.inl_mul_inr_eq_mk

Modification history