Mathlib v3 is deprecated. Go to Mathlib v4

Def pell.yn

Modification history

2023-02-26 18:11

src/number_theory/pell.lean

chore(number_theory/pell*): rename files, update doc (#18503) …

Modified pell.yn View on Github →

2021-09-03 18:48

src/number_theory/pell.lean

chore(algebra/divisibility): help dot notation on `dvd` (#8766) …

Modified pell.yn View on Github →

2017-12-01 08:02

theories/number_theory/pell.lean

feat(theories/number_theory/dioph): Pell equation, diophantine equations

Added pell.yn View on Github →