Theorem le_inv_mul_iff_le

Modification history