The measurable countable-schedule lower clock equals the positive-denominator grid crossing infimum

Initializing...

The measurable countable-schedule lower clock equals the positive-denominator grid crossing infimum · Prove2Me