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