Metamath Proof Explorer


Syntax definition cifs

Description: Declare the syntax for the inner five segment predicate.

Ref Expression
Assertion cifs class InnerFiveSeg