OAI/MathematicalPhysics/Transonic/
276956 declarations, 0 contain sorry, 0 declared as axioms; 465 files
Folders
- Certificates/ 348 files, 274267 declarations
- Exterior/ 25 files, 167 declarations
- Phase/ 17 files, 183 declarations
- Profile/ 25 files, 187 declarations
- Shooting/ 49 files, 1812 declarations
Files
- Core.lean 340 declarations