Metamath Proof Explorer

Table of Contents - 20.31.21. Pell equations 1: A nontrivial solution always exists

1. pellexlem1
2. pellexlem2
3. pellexlem3
4. pellexlem4
5. pellexlem5
6. pellexlem6
7. pellex