| Tensor spectral calculus | statement | proposition 2.10 | arxiv |
| Dabrowski | definition | definition 2.5 | arxiv |
| CMAP and weak exactness | statement | corollary 4.12 | arxiv |
| 2H4PSZNZYM | statement | proposition 2.13 | arxiv |
| Embedding into free group factors | statement | theorem 4.2 | arxiv |
| Diez | definition | definition 2.14 | arxiv |
| Strong solidity, Ozawa--Popa | definition | definition 4.8 | arxiv |
| Exponential upper bound for spectral growth | statement | corollary 3.3 | arxiv |
| Free version of Klartag's log-Lichnerowicz inequality | statement | theorem 5.7 | arxiv |
| 4QREWWNKRY | statement | proposition 2.6 | arxiv |
| One-dimensional free spectral comparison | statement | proposition 5.16 | arxiv |
| An isomorphism consequence of free Obata | statement | corollary 5.5 | arxiv |
| A free thin-shell estimate | statement | corollary 5.13 | arxiv |
| Free log-Lichnerowicz estimate, Diez | statement | proposition 5.3 | arxiv |
| 7QS6YEJ6N1 | statement | corollary 4.5 | arxiv |
| Rigidity for Klartag's log-Lichnerowicz inequality, Courtade-Fathi | statement | theorem 5.8 | arxiv |
| Strong solidity | statement | corollary 4.14 | arxiv |
| Haagerup , Choda | definition | definition 4.4 | arxiv |
| Dabrowski | statement | lemma 2.15 | arxiv |
| Closability, Voiculescu | statement | proposition 2.4 | arxiv |
| Uniformly convex Gibbs laws | statement | corollary 3.7 | arxiv |
| 9590BRBVWZ | statement | lemma 3.2 | arxiv |
| Proper proximality | statement | corollary 4.16 | arxiv |
| Free KLS bound | statement | theorem 5.12 | arxiv |
| Ozawa | statement | theorem 4.13 | arxiv |
| Free version of E. Milman's comparison | conjecture | conjecture 3 | arxiv |
| Solidity, Ozawa | definition | definition 4.7 | arxiv |
| Free Obata theorem | statement | corollary 5.4 | arxiv |
| EGMF3G287C | definition | definition 2.11 | arxiv |
| Free Fisher information, Voiculescu | definition | definition 2.3 | arxiv |
| Cipriani--Sauvageot , Peterson , Dabrowski | statement | proposition 2.7 | arxiv |
| Weak completely bounded approximation property | definition | definition 4.11 | arxiv |
| Weakly compact action, {Ozawa--Popa | definition | definition 4.9 | arxiv |
| Bi-exactness | statement | corollary 4.17 | arxiv |
| E. Milman's spectral comparison | statement | theorem 5.15 | arxiv |
| Solidity | statement | theorem 4.10 | arxiv |
| Strong solidity under positive curvature | statement | corollary 4.15 | arxiv |
| Bi-exactness under positive curvature | statement | corollary 4.18 | arxiv |
| Bizeul--Klartag--Lehec , Song--Zhang | statement | theorem 5.11 | arxiv |
| Free Gibbs states | example | example 3.6 | arxiv |
| Free Poincar\'e inequality, Voiculescu | statement | lemma 2.8 | arxiv |
| Microstates and free entropy dimension | statement | corollary 4.3 | arxiv |
| R0V070F7Y8 | statement | proposition 2.12 | arxiv |
| Improved log-Lichnerowicz inequality, Klartag | statement | theorem 5.6 | arxiv |
| SZ2SDGEHW1 | statement | theorem 3.1 | arxiv |
| T125N69ZY2 | statement | proposition 2.9 | arxiv |
| WRJ221ZJ90 | conjecture | conjecture 1 | arxiv |
| XM1KAG9A1T | statement | proposition 5.1 | arxiv |
| Rigidity of the free improved Lichnerowicz inequality | statement | theorem 5.10 | arxiv |
| Stability of the $CD$ criterion | statement | proposition 5.9 | arxiv |
| Partial free difference quotients | definition | definition 2.1 | arxiv |
| YQ7BN548DS | conjecture | conjecture 2 | arxiv |
