Commit 2022-12-04 13:05 e6628dd5

View on Github →

feat: Match mathlib#16761 (#840)

  • feat: Match mathlib#16761
  • fix

Estimated changes

added theorem mul_le_mul_iff_of_ge