7.3.1 de-Sitter vacua

[1]<ol><li>Harlow:2022ich</li><li>Rudelius_2024</li></ol>