Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-05 22:34 d5344df1

View on Github →

feat(algebra/order/ring): lt_mul_{left,right,self} (#15848)

Estimated changes

added theorem lt_mul_left
added theorem lt_mul_right
added theorem lt_mul_self