Metamath Proof Explorer


Syntax definition cpell14qr

Description: Extend class notation to include the class of positive Pell solutions.

Ref Expression
Assertion cpell14qr
class Pell14QR