Metamath Proof Explorer


Syntax definition cofs

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

Ref Expression
Assertion cofs
class OuterFiveSeg