Syntax definition cerl

Description: Syntax for ring localization equivalence class operation.

	Ref	Expression
Assertion	cerl	class ~RL