Metamath Proof Explorer


Syntax definition bj-cgab

Description: Syntax for generalized class abstractions.

Ref Expression
Assertion bj-cgab
class {{ A | x | ph }}