Lemma 5.3.5 (00A3)
7 tagged blocks link here.
Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich
Original source: arXiv:2401.02956v2