mathlib3
c25bd03e - feat(algebra/order/field): prove `a / a ≤ 1` (#11118)

Commit

4 years ago

feat(algebra/order/field): prove `a / a ≤ 1` (#11118)

Author

urkud

urkud

Parents

Loading