OAI/Analysis/CoulombRadii/FormDomain/TfGradientField.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Coulomb.tfGradientField line 46
2. lemma OAI.Coulomb.tfGradientField_coe line 49
3. lemma OAI.Coulomb.tfGradientField_pair line 59
4. lemma OAI.Coulomb.tfGradientField_nonneg line 66
5. lemma OAI.Coulomb.tfGradientField_self line 78
6. lemma OAI.Coulomb.tfGradientField_complementarity line 84
7. lemma OAI.Coulomb.tfEuler_complementarity line 93