Mathlib v3 is deprecated. Go to Mathlib v4

Theorem poly.ext

Modification history

2022-04-21 12:10

src/number_theory/dioph.lean

chore(number_theory/dioph): Cleanup (#13403) …

Modified poly.ext View on Github →

2019-09-22 04:34

src/number_theory/dioph.lean

chore(*): fix various issues reported by `sanity_check_mathlib` (#1469) …

Added poly.ext View on Github →