Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue integration
Lesbesgue directed integral
cdit
Next ⟩
df-ditg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdit
Description:
Extend class notation with the directed integral.
Ref
Expression
Assertion
cdit
class
∫
A
B
C
d
x