Metamath Proof Explorer


Syntax definition ccarsg

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

Ref Expression
Assertion ccarsg
class toCaraSiga