OAI/Computability/MinUncut/Estimates/AnalyticOuter.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Outer.ProofFamily.atomTotal line 14
2. def OAI.MinUncut.Outer.ProofFamily.fourthTotal line 17
3. lemma OAI.MinUncut.Outer.ProofFamily.atomTotal_mean line 21
4. lemma OAI.MinUncut.Outer.ProofFamily.distanceTotal_bound line 28
5. theorem OAI.MinUncut.Outer.ProofFamily.atomTotal_bound line 43
6. lemma OAI.MinUncut.Inner.weighted_row_secondMoment line 74
7. lemma OAI.MinUncut.Inner.weighted_pairAtomMean line 106