P
Initializing...
$t_{\mathrm{mix}}(G^\ast)\asymp t_{\mathrm{cov}}(G)$ for lamplighter chains · Prove2Me