Syntax definition ccarsg

Description: Class declaration for the Caratheodory sigma-Algebra construction.

	Ref	Expression
Assertion	ccarsg	class toCaraSiga