Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue integration
Lesbesgue integral
citg
Next ⟩
df-mbf
Metamath Proof Explorer
Ascii
Structured
Syntax definition
citg
Description:
Extend class notation with the general Lebesgue integral.
Ref
Expression
Assertion
citg
class
∫
𝐴
𝐵
d
𝑥