OAI/Analysis/MatrixSigning/Potential/EnergyMatrix.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CurrentKS.Interaction.energyMatrix line 16
2. lemma OAI.CurrentKS.Interaction.energyMatrix_symm line 20
3. lemma OAI.CurrentKS.Interaction.energyMatrix_quad line 30
4. lemma OAI.CurrentKS.Interaction.energyMatrix_psd line 52
5. lemma OAI.CurrentKS.Interaction.energyMatrix_diag line 59
6. lemma OAI.CurrentKS.Interaction.response_energy_cancel line 66
7. lemma OAI.CurrentKS.Interaction.proposed_energy line 75