Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Glauco Siliprandi
Basic measure theory
σ-Algebras
csalon
Next ⟩
df-salon
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csalon
Description:
Extend class notation with the class of sigma-algebras on a set.
Ref
Expression
Assertion
csalon
class SalOn