OAI/Geometry/CAT0Fillings/Sobolev/
72 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- AlmostSharp.lean 2 declarations
- BrezisLieb.lean 3 declarations
- Compact.lean 6 declarations
- Completion.lean 23 declarations
- Constant.lean 9 declarations
- CriticalNorm.lean 13 declarations
- SmallSupport.lean 3 declarations
- Truncation.lean 13 declarations