Metamath Proof Explorer


Syntax definition cpell1234qr

Description: Extend class notation to include the class of any-quadrant Pell solutions.

Ref Expression
Assertion cpell1234qr class Pell1234QR