OAI/Analysis/HardSphere/Capacity/
11 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- IntegralMulSq.lean 6 declarations
- SectorActiveCapacity.lean 5 declarations
OAI/Analysis/HardSphere/Capacity/11 declarations, 0 contain sorry, 0 declared as axioms; 2 files