Metamath Proof Explorer

Syntax definition cvv

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

Ref Expression
Assertion cvv 
class _V