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.