Continuous ordering theorem (natural dense complete separable order ⇔ continuous quantity)

Initializing...

Continuous ordering theorem (natural dense complete separable order ⇔ continuous quantity) · Prove2Me