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

Initializing...

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