Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Pell equations 2: Algebraic number theory of the solution set
cpell1234qr
Next ⟩
cpell14qr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpell1234qr
Description:
Extend class notation to include the class of any-quadrant Pell solutions.
Ref
Expression
Assertion
cpell1234qr
class
Pell1234QR