Metamath Proof Explorer


Syntax definition cvv

Description: Extend class notation to include the universal class symbol.

Ref Expression
Assertion cvv
class _V