Theorem 5.2.1 (0LFN)
0 tagged blocks link here.
Scott Morrison, Kevin Walker
Original source: arXiv:1009.5025v3