The exact left-jump size of a finite marked step path equals the total mark weight arriving at that time

Initializing...

The exact left-jump size of a finite marked step path equals the total mark weight arriving at that time · Prove2Me