Metamath Proof Explorer


Syntax definition cstgr

Description: Extend class notation with star graphs.

Ref Expression
Assertion cstgr Could not format assertion : No typesetting found for class StarGr with typecode class