`OAI/Geometry/WeakHessian/`

2424 declarations, 0 contain sorry, 0 declared as axioms; 542 files

Folders

Calculus/ 51 files, 165 declarations
Curvature/ 4 files, 29 declarations
Entropy/ 54 files, 339 declarations
Geodesics/ 10 files, 78 declarations
HeatFlow/ 108 files, 341 declarations
LocalBounds/ 156 files, 751 declarations
Measure/ 21 files, 113 declarations
Sobolev/ 58 files, 185 declarations
Transport/ 78 files, 377 declarations

Files

Main.lean 1 declarations
Model.lean 45 declarations