Metamath Proof Explorer


Syntax definition cfs

Description: Declare the syntax for the five segment predicate.

Ref Expression
Assertion cfs class FiveSeg