Every large negative càdlàg jump of a collision-free finite marked step process occurs at exactly one negative marked arrival

Initializing...

Every large negative càdlàg jump of a collision-free finite marked step process occurs at exactly one negative marked arrival · Prove2Me