OAI/Computability/MinUncut/Search/Parameters.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Inner.sourceSigma line 14
  2. def OAI.MinUncut.Inner.sourceEta line 15
  3. def OAI.MinUncut.Inner.sourceR line 16
  4. def OAI.MinUncut.Inner.sourceT line 17
  5. lemma OAI.MinUncut.Inner.sourceSigma_pos line 19
  6. lemma OAI.MinUncut.Inner.sourceEta_pos line 22
  7. lemma OAI.MinUncut.Inner.sourceSigma_le_one line 26
  8. lemma OAI.MinUncut.Inner.sourceEta_le_sigma line 30
  9. lemma OAI.MinUncut.Inner.sourceR_bound line 37
  10. lemma OAI.MinUncut.Inner.sourceT_pos line 43
  11. lemma OAI.MinUncut.Inner.sourceT_bound line 48
  12. lemma OAI.MinUncut.Inner.source_row_rate line 55
  13. theorem OAI.MinUncut.Inner.source_lowGradient_energy line 82
  14. theorem OAI.MinUncut.Inner.source_lowGradient_correlation line 123