Lemma 5.23 (06FC)
0 tagged blocks link here.
Ben Elias, Geordie Williamson
Original source: arXiv:1309.0865v1