Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue integration
Lesbesgue integral
cibl
Next ⟩
citg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cibl
Description:
Extend class notation with the class of integrable functions.
Ref
Expression
Assertion
cibl
class L^1