Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Abstract measure
Measures
cmeas
Next ⟩
df-meas
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmeas
Description:
Extend class notation to include the class of measures.
Ref
Expression
Assertion
cmeas
class
measures