Metamath Proof Explorer


Syntax definition wpss

Description: Extend wff notation with proper subclass relation.

Ref Expression
Assertion wpss wff A B