Theorem B.4.1 (00LC)
15 tagged blocks link here.
Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich
Original source: arXiv:2401.02956v2