mathlib

7ad820c4 - doc(number_theory/pell): fix links in module docstring (#19010)

doc(number_theory/pell): fix links in module docstring (#19010) This PR fixes two typos in the module docstring of `number_theory.pell` (a missing and a mis-spelt namespace part), which prevented doc-gen from linking to the relevant statements.