Metamath Proof Explorer


Syntax definition csalon

Description: Extend class notation with the class of sigma-algebras on a set.

Ref Expression
Assertion csalon class SalOn