OAI/Computability/MinUncut/Estimates/FirstError.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Inner.firstError line 24
2. def OAI.MinUncut.Inner.secondError line 27
3. lemma OAI.MinUncut.Inner.gaussian_tail_of_cutoff line 31
4. theorem OAI.MinUncut.Inner.lowGradient_energy_lower line 45