OAI/Computability/MaxCut/Estimates/Rename.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.OptimalMaxCut.CounterMachine.Expr.rename line 11
  2. theorem OAI.OptimalMaxCut.CounterMachine.Expr.rename_eval line 22
  3. def OAI.OptimalMaxCut.CounterMachine.Expr.bindExpr line 33
  4. def OAI.OptimalMaxCut.CounterMachine.Expr.subst line 37
  5. theorem OAI.OptimalMaxCut.CounterMachine.Expr.subst_eval line 48
  6. def OAI.OptimalMaxCut.CounterMachine.Expr.positive line 61
  7. def OAI.OptimalMaxCut.CounterMachine.Expr.equal line 62
  8. def OAI.OptimalMaxCut.CounterMachine.Expr.le line 63
  9. def OAI.OptimalMaxCut.CounterMachine.Expr.lt line 64
  10. theorem OAI.OptimalMaxCut.CounterMachine.Expr.positive_eval line 66
  11. theorem OAI.OptimalMaxCut.CounterMachine.Expr.equal_eval line 70
  12. theorem OAI.OptimalMaxCut.CounterMachine.Expr.le_eval line 78
  13. theorem OAI.OptimalMaxCut.CounterMachine.Expr.lt_eval line 82
  14. def OAI.OptimalMaxCut.CounterMachine.Expr.cond line 86
  15. theorem OAI.OptimalMaxCut.CounterMachine.Expr.cond_eval line 87
  16. def OAI.OptimalMaxCut.CounterMachine.Expr.quotient line 91
  17. theorem OAI.OptimalMaxCut.CounterMachine.Expr.quotient_sum line 94
  18. theorem OAI.OptimalMaxCut.CounterMachine.Expr.quotient_eval line 105
  19. def OAI.OptimalMaxCut.CounterMachine.Expr.remainder line 113
  20. theorem OAI.OptimalMaxCut.CounterMachine.Expr.remainder_eval line 114
  21. def OAI.OptimalMaxCut.CounterMachine.Expr.power line 119
  22. theorem OAI.OptimalMaxCut.CounterMachine.Expr.power_eval line 122