Commit 2024-10-07 22:13 dde8da66

View on Github →

feat: c * a / (c * b) ≤ a / b (#17506)

Estimated changes

added theorem le_mul_div_mul_left
added theorem le_mul_div_mul_right
added theorem mul_div_mul_left_le
added theorem mul_div_mul_right_le