Theorem LatticeOrderedGroup.mul_inf_eq_mul_inf_mul

Modification history