OAI/Analysis/CoulombRadii/FieldAnalysis/ColoredObservable.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Coulomb.tensorCut_selected_square line 13
2. def OAI.Coulomb.coloredObservable line 30
3. lemma OAI.Coulomb.coloredObservable_measurable line 34
4. lemma OAI.Coulomb.coloredObservable_abs_le line 42
5. lemma OAI.Coulomb.tensorCut_colored_sum line 54
6. lemma OAI.Coulomb.potentialForm_colored_labelCut line 68