Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Eric Schmidt
Hereditarily finite structures
cfinfld
Next ⟩
df-finfld
Metamath Proof Explorer
Ascii
Unicode
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