cfinfld - Mathbox for Eric Schmidt

	Mathbox for Eric Schmidt		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cfinfld		Structured version Visualization version GIF version

Syntax Definition cfinfld 46233

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

**Assertion**
Ref	Expression
cfinfld	class 𝔽

See definition df-finfld 46234 for more information.

Colors of variables: wff setvar class