Yes but in a later stage. There is a separate course that really teaches us stochastic calculus formally, the 1st half of it is pretty much like a real analysis course, but for now we are only up to conditional expectation.
(Btw now you've mentioned Lebesgue Stieljes integral, I seem to understand why they are different
)
The content I'm using here actually came from another course, the nature of that course is kind of like "Application of stochastic calculus in Finance", so that's why it's a bit informal.
But I think it's already good enough to serve as the backbone of this post.