Syntax definition cabv

Description: The set of absolute values on a ring.

	Ref	Expression
Assertion	cabv	class AbsVal