`OAI/Analysis/VlasovMaxwell/`

3955 declarations, 0 contain sorry, 0 declared as axioms; 207 files

Folders

Continuation/ 11 files, 138 declarations
Flow/ 13 files, 276 declarations
Geometry/ 22 files, 368 declarations
LocalPDE/ 15 files, 263 declarations
Maxwell/ 8 files, 200 declarations
Population/ 56 files, 1136 declarations
Regularity/ 27 files, 411 declarations
Retarded/ 53 files, 1133 declarations

Files

Main.lean 2 declarations
Model.lean 28 declarations