Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue integration
Lesbesgue integral
citg1
Next ⟩
citg2
Metamath Proof Explorer
Unicode
Structured
Syntax definition
citg1
Description:
Extend class notation with the Lebesgue integral for simple functions.
Ref
Expression
Assertion
citg1
class S.1