Metamath Proof Explorer


Syntax definition cafs

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

Ref Expression
Assertion cafs class AFS