P
Initializing...
Curie--Weiss: fast mixing for $\alpha<1$ · Prove2Me