`OAI/Analysis/KLS/Spectral/`

52 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

BrascampLieb.lean 5 declarations
BrascampLiebCurvature.lean 13 declarations
BrascampLiebMoments.lean 24 declarations
BrascampLiebPerturbation.lean 6 declarations
RegularPoincare.lean 4 declarations