Syntax definition cidlsrg

Description: Extend class notation with the semiring of ideals of a ring.

	Ref	Expression
Assertion	cidlsrg	Could not format assertion : No typesetting found for class IDLsrg with typecode class