Compact USC closed-level first-passage event is equivalent to the directly measurable continuous-time subtype-indexed supremum

Initializing...

Compact USC closed-level first-passage event is equivalent to the directly measurable continuous-time subtype-indexed supremum · Prove2Me