Mathlib v3 is deprecated. Go to Mathlib v4

Structure zsqrtd

Modification history

2020-04-11 04:27

src/data/zsqrtd/basic.lean

chore(*): switch to lean 3.8.0 (#2361) …

Modified zsqrtd View on Github →

2019-03-29 23:56

src/data/zsqrtd/basic.lean

refactor(data/zsqrtd/basic): move zsqrtd out of pell and into data (#861)

Modified zsqrtd View on Github →

2019-03-02 17:42

src/number_theory/pell.lean

commit properly

Modified zsqrtd View on Github →

2017-12-01 08:02

theories/number_theory/pell.lean

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

Added zsqrtd View on Github →