OAI/Computability/MinUncut/Analysis/GaussianDistance.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Composition.comparisonRow_distance_integrable line 17
2. lemma OAI.MinUncut.Composition.comparisonRow_distance_mean line 28
3. lemma OAI.MinUncut.Composition.comparisonRow_distance_integral line 37
4. lemma OAI.MinUncut.Composition.comparisonRow_distance_total line 49
5. def OAI.MinUncut.Outer.listTerm line 70
6. def OAI.MinUncut.Outer.remainderTerm line 73
7. def OAI.MinUncut.Outer.ProofFamily.atomAt line 76
8. def OAI.MinUncut.Outer.ProofFamily.distanceAt line 80
9. lemma OAI.MinUncut.Outer.ProofFamily.atomAt_integral line 85
10. lemma OAI.MinUncut.Outer.ProofFamily.distanceAt_integral line 95
11. theorem OAI.MinUncut.Outer.ProofFamily.row_soundness line 101