`OAI/MathematicalPhysics/Boltzmann/`

8366 declarations, 0 contain sorry, 0 declared as axioms; 530 files

Folders

Approximation/ 69 files, 1130 declarations
Branching/ 254 files, 3237 declarations
Collision/ 53 files, 1059 declarations
Compactness/ 95 files, 1464 declarations
Jets/ 55 files, 1418 declarations

Files

Admissibility.lean 29 declarations
Main.lean 1 declarations
Model.lean 27 declarations
UnconditionalMainProof.lean 1 declarations