Lemma B (0LI9)
0 tagged blocks link here.
Scott Morrison, Kevin Walker
Original source: arXiv:1009.5025v3