`OAI/Analysis/KLS/Sobolev/`

76 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Common.lean 1 import, no declarations
Foundations.lean 1 import, no declarations
SobolevApproximation.lean 23 declarations
TestFunctions.lean 10 declarations
WeakDerivatives.lean 10 declarations
WholeSpace.lean 13 declarations
Witnesses.lean 20 declarations