Theorem pell.eq_pow_of_pell_lem
Modification history
2023-02-26 18:11
src/number_theory/pell.lean
chore(number_theory/pell*): rename files, update doc (#18503) …
Modified pell.eq_pow_of_pell_lemView on Github →2023-01-08 00:31
src/number_theory/pell.lean
chore(number_theory/pell): golf, use tactic mode (#18091) …
Modified pell.eq_pow_of_pell_lemView on Github →