Metamath Proof Explorer


Syntax definition csigagen

Description: Extend class notation to include the sigma-algebra generator.

Ref Expression
Assertion csigagen class sigaGen