Syntax definition claz

Description: Extend class notation with the linear adjunctions of a complex number to the ring of integers.

	Ref	Expression
Assertion	claz	Could not format assertion : No typesetting found for class Z[]l with typecode class