Syntax definition ccarsg

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

	Ref	Expression
Assertion	ccarsg	$$class\mathrm{toCaraSiga}$$