Valency
alpha
JL

Justin Leder

On Valency

published · living versions
W_gzgt89tf·v1 · currentpublished
θ(pc)=0\theta(p_c)=0 for Bernoulli bond percolation on Zd\mathbb{Z}^d in all dimensions d≥2d\ge 2: a guide to the Lean formalization
1 version

Preprints & journals

We haven't matched this author to their published research yet.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.