The genuine finite excursion maximal-height entrance equals the capped stopping clock and occurs strictly before the excursion endpoint

Initializing...

The genuine finite excursion maximal-height entrance equals the capped stopping clock and occurs strictly before the excursion endpoint · Prove2Me