OAI/Geometry/RCD/
6062 declarations, 0 contain sorry, 0 declared as axioms; 2889 files
Folders
- Coordinates/ 510 files, 1287 declarations
- Harmonic/ 351 files, 741 declarations
- Heat/ 609 files, 1183 declarations
- Metric/ 333 files, 674 declarations
- Sobolev/ 708 files, 1358 declarations
- Transport/ 377 files, 817 declarations
Files
- Main.lean 2 declarations