`OAI/Analysis/BiholderTransport/`

2005 declarations, 0 contain sorry, 0 declared as axioms; 645 files

Folders

Calculus/ 57 files, 160 declarations
Contact/ 45 files, 170 declarations
Convexity/ 40 files, 81 declarations
Coordinates/ 105 files, 302 declarations
CostGeometry/ 41 files, 104 declarations
Duality/ 8 files, 38 declarations
Geodesics/ 38 files, 155 declarations
LinearAlgebra/ 99 files, 314 declarations
LocalFlow/ 12 files, 52 declarations
Oscillation/ 9 files, 47 declarations
Regularity/ 161 files, 480 declarations
Volume/ 27 files, 87 declarations

Files

Main.lean 1 declarations
MinimizingVectors.lean 1 declarations
Model.lean 13 declarations