OAI/Analysis/CoulombRadii/SpectralTheory/FermiPacketSpectralTrace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.fermiPacket_spectral_trace line 84
2. lemma OAI.Coulomb.fermiPacket_density line 98
3. lemma OAI.Coulomb.packet_momentum_basis_sum line 112
4. lemma OAI.Coulomb.fermiPacket_kinetic_trace line 118