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