Theorem mul_le_mul_iff_of_ge

Modification history