Reverse SLE derivative martingale

ID: reverse-sle-derivative-martingale

For the reverse flow, write . Then
is a nonnegative local martingale and hence a supermartingale.

New to topics? Read the docs here!