Forward jump is rd-continuous

From timescalewiki
Jump to: navigation, search

Theorem

The forward jump function is rd-continuous.

Proof

References