`OAI/Analysis/KLS/`

201 declarations, 0 contain sorry, 0 declared as axioms; 21 files

Folders

Convexity/ 5 files, 35 declarations
Measures/ 1 files, 11 declarations
Regularization/ 1 files, 4 declarations
Sobolev/ 7 files, 76 declarations
Spectral/ 5 files, 52 declarations
Stein/ 1 files, 12 declarations

Files

Model.lean 11 declarations