Metamath Proof Explorer


Syntax definition cofs

Description: Declare the syntax for the outer five segment configuration.

Ref Expression
Assertion cofs class OuterFiveSeg