The strict Lévy upper-passage infimum equals its countable inverse-natural grid counterpart

Initializing...

The strict Lévy upper-passage infimum equals its countable inverse-natural grid counterpart · Prove2Me