OAI/Combinatorics/IndependentSets/Machines/ExprTables.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsCut.CounterMachine.Expr.finTable2 line 11
  2. lemma OAI.IndependentSetsCut.CounterMachine.Expr.finTable2_eval line 14
  3. def OAI.IndependentSetsCut.CounterMachine.Expr.finTable3 line 21
  4. lemma OAI.IndependentSetsCut.CounterMachine.Expr.finTable3_eval line 24
  5. def OAI.IndependentSetsCut.CounterMachine.Expr.static2 line 32
  6. lemma OAI.IndependentSetsCut.CounterMachine.Expr.static2_eval line 35
  7. def OAI.IndependentSetsCut.CounterMachine.Expr.static3 line 42
  8. lemma OAI.IndependentSetsCut.CounterMachine.Expr.static3_eval line 46
  9. lemma OAI.IndependentSetsCut.CounterMachine.Expr.sum_ne_zero line 54
  10. lemma OAI.IndependentSetsCut.CounterMachine.Expr.listSum_ne_zero line 61
  11. def OAI.IndependentSetsCut.CounterMachine.Expr.pick line 72
  12. lemma OAI.IndependentSetsCut.CounterMachine.Expr.pick_eval line 76