Loading paper
Helffer-Sj{\"o}strand formula for Unitary Operators | Tomesphere