OAI/Combinatorics/ContingencyTables/Machines/ScalarScheduleBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Numeric bounds for the fixed arithmetic circuits

  1. def OAI.ContingencyTables.ScalarScheduleProgram.Expr.bound line 11
  2. lemma OAI.ContingencyTables.ScalarScheduleProgram.Expr.eval_le line 17
  3. lemma OAI.ContingencyTables.ScalarScheduleProgram.getD_le_of_mem line 29
  4. lemma OAI.ContingencyTables.ScalarScheduleProgram.Expr.eval_le_of_mem line 40