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