Metamath Proof Explorer


Syntax definition cfinfld

Description: Extend class notation to include the function defining finite fields.

Ref Expression
Assertion cfinfld Could not format assertion : No typesetting found for class finFld with typecode class