Metamath Proof Explorer

Syntax definition ceuf

Description: Declare the syntax for the Euclidean function index extractor.

Ref Expression
Assertion ceuf class EuclF