OAI/Geometry/CAT0Fillings/
2300 declarations, 0 contain sorry, 0 declared as axioms; 330 files
Folders
- BV/ 4 files, 52 declarations
- Bubble/ 3 files, 29 declarations
- Calculus/ 15 files, 105 declarations
- Charts/ 33 files, 185 declarations
- Chord/ 17 files, 136 declarations
- Compactness/ 12 files, 82 declarations
- Conformal/ 2 files, 17 declarations
- Currents/ 45 files, 255 declarations
- Density/ 6 files, 32 declarations
- Differentiation/ 16 files, 98 declarations
- Euler/ 5 files, 18 declarations
- Fillings/ 5 files, 42 declarations
- Geometry/ 7 files, 32 declarations
- Gradient/ 7 files, 95 declarations
- Isoperimetry/ 2 files, 10 declarations
- Jacobian/ 7 files, 48 declarations
- Mass/ 6 files, 47 declarations
- Minimizers/ 9 files, 39 declarations
- Powers/ 7 files, 49 declarations
- Prism/ 13 files, 62 declarations
- Radial/ 23 files, 100 declarations
- Rearrangement/ 7 files, 59 declarations
- Reconstruction/ 13 files, 138 declarations
- Scaling/ 3 files, 26 declarations
- Slices/ 9 files, 147 declarations
- Slicing/ 20 files, 115 declarations
- Sobolev/ 8 files, 72 declarations
- Swept/ 4 files, 42 declarations
- Tangent/ 7 files, 55 declarations
- Transport/ 9 files, 74 declarations
- Variational/ 3 files, 8 declarations
Files
- Constants.lean 5 declarations
- Main.lean 2 declarations
- Model.lean 24 declarations