Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
p-adic number fields
cgf

Next ⟩ cgfo

Metamath Proof Explorer

Unicode
Structured

Syntax definition cgf

Description: Galois finite field.

		Ref	Expression
	Assertion	cgf	class GF