OAI/Combinatorics/ContingencyTables/Machines/CachedTerminalCount.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Exact terminal counts from the retained dense-completion cache

  1. abbrev OAI.ContingencyTables.ProfilePrograms.TerminalOutputInput line 12
  2. def OAI.ContingencyTables.ProfilePrograms.terminalOutputEntry line 14
  3. def OAI.ContingencyTables.ProfilePrograms.terminalOutputEntryRealizer line 17
  4. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_terminalOutputEntry line 23
  5. def OAI.ContingencyTables.ProfilePrograms.terminalOutputs line 31
  6. def OAI.ContingencyTables.ProfilePrograms.terminalOutputsRealizer line 34
  7. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_terminalOutputs line 38
  8. def OAI.ContingencyTables.ProfilePrograms.successfulWeight line 44
  9. def OAI.ContingencyTables.ProfilePrograms.successfulWeightRealizer line 47
  10. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_successfulWeight line 59
  11. def OAI.ContingencyTables.ProfilePrograms.successfulWeightSum line 70
  12. def OAI.ContingencyTables.ProfilePrograms.successfulWeightSumRealizer line 73
  13. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_successfulWeightSum line 76
  14. def OAI.ContingencyTables.ProfilePrograms.terminalCount line 79
  15. def OAI.ContingencyTables.ProfilePrograms.terminalCountRealizer line 82
  16. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_terminalCount line 87
  17. lemma OAI.ContingencyTables.ProfilePrograms.terminalCount_eq line 99