Commit 2023-02-26 18:11 a66d07e2
View on Github →chore(number_theory/pell*): rename files, update doc (#18503) Following a suggestion by @ocfnash in a comment to [#18484](https://github.com/leanprover-community/mathlib/pull/18484), this
- renames
number_theory.pell
tonumber_theory.pell_matiyasevic
- renames
number_theory.pell_general
tonumber_theory.pell
- updates documentation accordingly
- moves the "TODO" note from
pell_matiyasevic
topell
(and updates it) See also this Zulip thread.