OAI/Analysis/CoulombRadii/FormDomain/CoreSliceRegular.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.Coulomb.(instance at line 124) line 124
2. instance OAI.Coulomb.(instance at line 126) line 126
3. instance OAI.Coulomb.(instance at line 130) line 130
4. instance OAI.Coulomb.(instance at line 134) line 134
5. lemma OAI.Coulomb.ae_all_zero_of_continuous line 145
6. lemma OAI.Coulomb.compact_tensor_test line 169
7. lemma OAI.Coulomb.tensor_test_deriv line 181
8. lemma OAI.Coulomb.test_complex_memLp line 193
9. lemma OAI.Coulomb.test_direction_complex_memLp line 200
10. lemma OAI.Coulomb.weak_slice_fixed_test line 207
11. lemma OAI.Coulomb.weak_slice line 250
12. lemma OAI.Coulomb.weak_directional_change line 306
13. lemma OAI.Coulomb.H1Vector.weak_partial_join line 330
14. lemma OAI.Coulomb.H1Vector.core_slices_H1 line 343
15. def OAI.Coulomb.H1Vector.CoreSliceRegular line 371
16. lemma OAI.Coulomb.H1Vector.coreSliceRegular_ae line 383
17. def OAI.Coulomb.H1Vector.zero line 386
18. def OAI.Coulomb.H1Vector.coreSlice line 393
19. lemma OAI.Coulomb.H1Vector.coreSlice_value line 405
20. lemma OAI.Coulomb.H1Vector.coreSlice_gradient line 410
21. lemma OAI.Coulomb.mass_coreSlice_ae line 417
22. lemma OAI.Coulomb.mass_coreSlice_integrable line 423
23. lemma OAI.Coulomb.integral_mass_coreSlice line 432