Metamath Proof Explorer


Syntax definition cpellfund

Description: Extend class notation to include the Pell-equation fundamental solution function.

Ref Expression
Assertion cpellfund class PellFund