Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Pell equations 2: Algebraic number theory of the solution set
cpellfund
Next ⟩
df-squarenn
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cpellfund
Description:
Extend class notation to include the Pell-equation fundamental solution function.
Ref
Expression
Assertion
cpellfund
class
PellFund