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