Syntax definition cgfo

Description: Galois limit field.

	Ref	Expression
Assertion	cgfo	$$class{\mathrm{GF}}_{\infty }$$