mathlib
8f6090ca - feat(algebra/ordered_field): missing lemma (#3324)

Commit

5 years ago

feat(algebra/ordered_field): missing lemma (#3324) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents