OAI/Analysis/CoulombRadii/SpectralTheory/
111 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- AmbientEigen.lean 15 declarations
- BindingBump.lean 39 declarations
- BindingCut.lean 13 declarations
- CorePredecessor.lean 1 declarations
- EigenspaceBasisSet.lean 12 declarations
- FermiPacketSpectralTrace.lean 4 declarations
- GlobalSectorMinimum.lean 2 declarations
- SectorBottomBridge.lean 9 declarations
- SectorFormBottom.lean 6 declarations
- StrictBinding.lean 10 declarations