Metamath Proof Explorer


Table of Contents - 20.31.22. Pell equations 2: Algebraic number theory of the solution set

  1. csquarenn
  2. cpell1qr
  3. cpell1234qr
  4. cpell14qr
  5. cpellfund
  6. df-squarenn
  7. df-pell1qr
  8. df-pell14qr
  9. df-pell1234qr
  10. df-pellfund
  11. pell1qrval
  12. elpell1qr
  13. pell14qrval
  14. elpell14qr
  15. pell1234qrval
  16. elpell1234qr
  17. pell1234qrre
  18. pell1234qrne0
  19. pell1234qrreccl
  20. pell1234qrmulcl
  21. pell14qrss1234
  22. pell14qrre
  23. pell14qrne0
  24. pell14qrgt0
  25. pell14qrrp
  26. pell1234qrdich
  27. elpell14qr2
  28. pell14qrmulcl
  29. pell14qrreccl
  30. pell14qrdivcl
  31. pell14qrexpclnn0
  32. pell14qrexpcl
  33. pell1qrss14
  34. pell14qrdich
  35. pell1qrge1
  36. pell1qr1
  37. elpell1qr2
  38. pell1qrgaplem
  39. pell1qrgap
  40. pell14qrgap
  41. pell14qrgapw
  42. pellqrexplicit