Proof of Lemma 13, second case — visited transition averages retain one-step reachability

Initializing...

Proof of Lemma 13, second case — visited transition averages retain one-step reachability · Prove2Me