Formalisation of the Theory of integration applied to random variables. More specifically, we are able to calculate where:
- is a semimartingale. I believe this is a Wiener Process with jumps, but I am unsure. Help me ❓
- is adapted to the Filtration generated by . More specifically, is a measurable function on .