Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue integration
Lesbesgue integral
cmbf
Next ⟩
citg1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmbf
Description:
Extend class notation with the class of measurable functions.
Ref
Expression
Assertion
cmbf
class
MblFn