OAI/Analysis/CoulombRadii/SpectralTheory/SectorFormBottom.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.sectorFormBottom line 111
2. def OAI.Coulomb.unrestrictedFormBottom line 114
3. lemma OAI.Coulomb.unrestrictedFormBottom_le_trial line 116
4. theorem OAI.Coulomb.radial_packet_core_trial line 120
5. theorem OAI.Coulomb.trial_in_hole line 145
6. lemma OAI.Coulomb.vacuum_trial_in_hole line 176