Metamath Proof Explorer


Syntax definition cvtxdg

Description: Extend class notation with the vertex degree function.

Ref Expression
Assertion cvtxdg
class VtxDeg