Theorem LatticeOrderedCommGroup.mabs_of_one_le

Modification history