mathlib
795b5018 - chore(number_theory/pell_matiyasevic): generalize `is_pell` to arbitary `d` (#18573)

Commit

2 years ago

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.

Author

eric-wieser

Parents

1e320130

mathlib 795b5018 - chore(number_theory/pell_matiyasevic): generalize `is_pell` to arbitary `d` (#18573)

mathlib
795b5018 - chore(number_theory/pell_matiyasevic): generalize `is_pell` to arbitary `d` (#18573)