We give a short and elementary proof that the first hitting time of an open set by the jump process of a c`adl`ag adapted process is a stopping time.
生成讲解博客的中文版本
生成AI智能校验的中文版本