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