Metamath Proof Explorer


Syntax definition cgfo

Description: Galois limit field.

Ref Expression
Assertion cgfo
class GF_oo