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

Next ⟩ ceqp

Metamath Proof Explorer

Ascii
Structured

Syntax definition cgfo

Description: Galois limit field.

		Ref	Expression
	Assertion	cgfo	class GF_∞