`OAI/Geometry/SmoothYau/`

3859 declarations, 0 contain sorry, 0 declared as axioms; 436 files

Folders

DifferentialEq/ 11 files, 58 declarations
Estimates/ 96 files, 465 declarations
Geometry/ 136 files, 593 declarations
Limits/ 37 files, 193 declarations
NodalMeasure/ 7 files, 104 declarations
ProductMetric/ 5 files, 79 declarations
Smoothness/ 95 files, 1640 declarations
Spectrum/ 29 files, 467 declarations
SphereMetric/ 18 files, 242 declarations

Files

Main.lean 101 imports, no declarations
Model.lean 18 declarations