Metamath Proof Explorer


Syntax definition ceuf

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

Ref Expression
Assertion ceuf Could not format assertion : No typesetting found for class EuclF with typecode class