Finite actual reflected excursion height has no singleton atom once post-first-hit downward regularity holds

Initializing...

Finite actual reflected excursion height has no singleton atom once post-first-hit downward regularity holds · Prove2Me