Syntax definition cfrac

Description: Syntax for the field of fractions of a given integral domain.

	Ref	Expression
Assertion	cfrac	class Frac