Syntax definition cgf

Description: Galois finite field.

	Ref	Expression
Assertion	cgf	$$class\mathrm{GF}$$