P
Initializing...
Lemma 15 — tracking a cumulated sum of proportions · Prove2Me