Metamath Proof Explorer


Syntax definition ccvr

Description: Extend class notation with covers relation.

Ref Expression
Assertion ccvr class