OAI/Analysis/CoulombRadii/Localization/CutCombinatorics.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Coulomb.sum_product_labels line 13
  2. lemma OAI.Coulomb.product_partition_square line 18
  3. lemma OAI.Coulomb.sum_slot_product line 25
  4. lemma OAI.Coulomb.sum_slot_product_square line 45
  5. lemma OAI.Coulomb.abs_partition_le_one line 52
  6. lemma OAI.Coulomb.abs_prod_le_one line 58
  7. def OAI.Coulomb.tensorCut line 69
  8. lemma OAI.Coulomb.tensorCut_contDiff line 72
  9. lemma OAI.Coulomb.tensorCut_fderiv line 80
  10. lemma OAI.Coulomb.tensorCut_partition line 103
  11. lemma OAI.Coulomb.tensorCut_abs_le_one line 108
  12. lemma OAI.Coulomb.tensorCut_partial_bound line 113
  13. lemma OAI.Coulomb.tensorCut_gradient_square_sum line 126
  14. def OAI.Coulomb.H1Vector.labelCut line 135
  15. lemma OAI.Coulomb.mass_labelCut line 143
  16. lemma OAI.Coulomb.form_labelCut line 151