OAI/Analysis/HardSphere/Orbitals/
140 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Bump.lean 29 declarations
- CellPartition.lean 5 declarations
- CenteredCell.lean 13 declarations
- Chi.lean 8 declarations
- Chi2.lean 10 declarations
- FieldApply.lean 24 declarations
- FreePathLawFiniteDeletion.lean 5 declarations
- GridLowStationary.lean 1 declarations
- Joint.lean 7 declarations
- Joint2.lean 2 declarations
- JointEmptyScalar.lean 2 declarations
- OrbitalOperator.lean 9 declarations
- PhysicalOrbitalReference.lean 5 declarations
- Profile.lean 13 declarations
- SelectedDeletion.lean 6 declarations
- StrongContractionLimitDense.lean 1 declarations