mathlib3
e79bf053 - feat(number_theory/ADE_inequality): the inequality 1/p + 1/q + 1/r > 1 (#6156)

Commit

4 years ago

feat(number_theory/ADE_inequality): the inequality 1/p + 1/q + 1/r > 1 (#6156)

Author

jcommelin

jcommelin

Parents

Loading