(i) | $T_1, T_2, T_3, \, \ldots$ is an D2713: Independent random collection |
(i) | $T_1, T_2, T_3, \, \ldots$ is an D2713: Independent random collection |
(i) | $T_1, T_2, T_3, \, \ldots$ is an D2713: Independent random collection |
▶ | D5211: Standard real poisson process |
▶ | R5656: Real poisson process is increasing |