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

Commit

3 years ago

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

Author

pechersky

pechersky

Parents

Loading