OAI/Computability/MinUncut/Search/UniformRational.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MinUncut.Preprocess.c_algebraicNonneg line 10
  2. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratAdd line 23
  3. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratSub line 25
  4. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratMul line 27
  5. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratDiv line 29
  6. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratInv line 31
  7. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratNeg line 32
  8. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratNat line 33
  9. lemma OAI.MinUncut.Preprocess.UEncoding.Out.ratPow line 35
  10. lemma OAI.MinUncut.Preprocess.UEncoding.Out.algebraicNonneg line 37
  11. lemma OAI.MinUncut.Preprocess.UEncoding.Out.eqBool line 40
  12. lemma OAI.MinUncut.Preprocess.UEncoding.Out.natAdd line 44
  13. lemma OAI.MinUncut.Preprocess.UEncoding.Out.natMul line 46
  14. lemma OAI.MinUncut.Preprocess.UEncoding.Out.natPow line 48