Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Glauco Siliprandi
Basic measure theory
σ-Algebras
csalg
Next ⟩
df-salg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csalg
Description:
Extend class notation with the class of all sigma-algebras.
Ref
Expression
Assertion
csalg
class
SAlg