P
Initializing...
Lemma 11 / Eqs.(84)–(86): permutation-covariant de Finetti smoothing · Prove2Me