P
Initializing...
Finite-valued stopping-time filtration condition implies Mathlib IsStoppingTime · Prove2Me