Commit 2023-03-13 05:01 795b5018
View on Github →chore(number_theory/pell_matiyasevic): generalize is_pell
to arbitary d
(#18573)
Not much else in the file generalizes, but we may as well generalize the definition.
chore(number_theory/pell_matiyasevic): generalize is_pell
to arbitary d
(#18573)
Not much else in the file generalizes, but we may as well generalize the definition.