Theorem le_iff_forall_lt_one_mul_le

Modification history