Ontify
A theorem giving the expected value of any suitably smooth statistic of an Itō diffusion at a stopping time.
