Metamath Proof Explorer


Syntax definition cwpointsN

Description: Extend class notation with W points.

Ref Expression
Assertion cwpointsN
class WAtoms