Closed level hit by a compact upper semicontinuous path is equivalent to its prefix supremum reaching that level

Initializing...

Closed level hit by a compact upper semicontinuous path is equivalent to its prefix supremum reaching that level · Prove2Me