Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Abstract measure
Product Sigma-Algebra
csx
Next ⟩
df-sx
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
csx
Description:
Extend class notation with the product sigma-algebra operation.
Ref
Expression
Assertion
csx
class
×
s