Metamath Proof Explorer
Table of Contents - 20.31.22. Pell equations 2: Algebraic number theory of the solution set
- csquarenn
- cpell1qr
- cpell1234qr
- cpell14qr
- cpellfund
- df-squarenn
- df-pell1qr
- df-pell14qr
- df-pell1234qr
- df-pellfund
- pell1qrval
- elpell1qr
- pell14qrval
- elpell14qr
- pell1234qrval
- elpell1234qr
- pell1234qrre
- pell1234qrne0
- pell1234qrreccl
- pell1234qrmulcl
- pell14qrss1234
- pell14qrre
- pell14qrne0
- pell14qrgt0
- pell14qrrp
- pell1234qrdich
- elpell14qr2
- pell14qrmulcl
- pell14qrreccl
- pell14qrdivcl
- pell14qrexpclnn0
- pell14qrexpcl
- pell1qrss14
- pell14qrdich
- pell1qrge1
- pell1qr1
- elpell1qr2
- pell1qrgaplem
- pell1qrgap
- pell14qrgap
- pell14qrgapw
- pellqrexplicit