Metamath Proof Explorer

Table of Contents - 21.36.23. Pell equations 3: characterizing fundamental solution

1. infmrgelbi
2. pellqrex
3. pellfundval
4. pellfundre
5. pellfundge
6. pellfundgt1
7. pellfundlb
8. pellfundglb
9. pellfundex
10. pellfund14gap
11. pellfundrp
12. pellfundne1