OAI/MathematicalPhysics/AlternatingFlow/ConstructiveBounds.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AlternatingNS.Effective.Scaled.nat line 16
  2. lemma OAI.AlternatingNS.Effective.Scaled.cmul line 20
  3. lemma OAI.AlternatingNS.Effective.Scaled.affine line 26
  4. lemma OAI.AlternatingNS.Effective.transition_scaled line 52
  5. lemma OAI.AlternatingNS.Effective.selector_scaled line 57
  6. lemma OAI.AlternatingNS.Effective.decoder_scaled line 68
  7. lemma OAI.AlternatingNS.Effective.read_scaled line 77
  8. lemma OAI.AlternatingNS.Effective.readC_scaled line 88
  9. lemma OAI.AlternatingNS.Effective.readB_scaled line 92
  10. lemma OAI.AlternatingNS.Effective.readA_scaled line 96
  11. lemma OAI.AlternatingNS.Effective.updates_scaled line 102
  12. lemma OAI.AlternatingNS.Effective.branchNumerator_scaled line 134
  13. lemma OAI.AlternatingNS.Effective.branch_scaled line 149
  14. lemma OAI.AlternatingNS.Effective.writeCore_scaled line 182
  15. lemma OAI.AlternatingNS.Effective.haltWeight_scaled line 204
  16. lemma OAI.AlternatingNS.Effective.Scaled.coord line 218
  17. lemma OAI.AlternatingNS.Effective.cutoff_scaled line 230
  18. lemma OAI.AlternatingNS.Effective.coord_jet_on_box line 242
  19. lemma OAI.AlternatingNS.Effective.cutoff_coordinate_scaled line 259
  20. lemma OAI.AlternatingNS.Effective.fixedPotential_scaled line 284
  21. lemma OAI.AlternatingNS.Effective.Scaled.grow line 288
  22. lemma OAI.AlternatingNS.Effective.corePotential_scaled line 297