OAI/Computability/MinUncut/Estimates/SamplerCost.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MinUncut.Outer.AllElementary line 14
2. def OAI.MinUncut.Outer.allWeight line 17
3. def OAI.MinUncut.Outer.allDemand line 21
4. def OAI.MinUncut.Outer.rationalRate line 25
5. lemma OAI.MinUncut.Outer.rationalRate_cast line 27
6. lemma OAI.MinUncut.Outer.rationalRate_bounds line 31
7. lemma OAI.MinUncut.Outer.allFailure_eq line 38
8. lemma OAI.MinUncut.Outer.noiseWeight_mean line 66
9. lemma OAI.MinUncut.Outer.gridWeight_mass line 78
10. lemma OAI.MinUncut.Outer.localWeight_mass line 82
11. lemma OAI.MinUncut.Outer.elementaryWeight_mass line 91