Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-03-23 21:18 842557b6

View on Github →

chore(number_theory/pell): Move def. of solution type and API to beginning (#18639) On the suggestion of @eric-wieser, this PR separates moving the definition of the type of solutions and the API lemmas to the beginning of the file, to help with the reviewing of #18626.

Estimated changes