OAI/Combinatorics/ContingencyTables/Sampling/ProfileTerminalProgram.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

Computing terminal success weights at every enumerated profile

  1. abbrev OAI.ContingencyTables.ProfilePrograms.TerminalEntryInput line 12
  2. def OAI.ContingencyTables.ProfilePrograms.terminalSourceInput line 14
  3. def OAI.ContingencyTables.ProfilePrograms.terminalSourceInputRealizer line 17
  4. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_terminalSourceInput line 20
  5. def OAI.ContingencyTables.ProfilePrograms.terminalEntryQuery line 25
  6. def OAI.ContingencyTables.ProfilePrograms.terminalEntryQueryRealizer line 28
  7. def OAI.ContingencyTables.ProfilePrograms.terminalEntry line 34
  8. def OAI.ContingencyTables.ProfilePrograms.terminalEntryRealizer line 36
  9. def OAI.ContingencyTables.ProfilePrograms.terminalEntryMeasure line 39
  10. lemma OAI.ContingencyTables.ProfilePrograms.work_terminalEntry line 42
  11. abbrev OAI.ContingencyTables.ProfilePrograms.TerminalColumnInput line 57
  12. abbrev OAI.ContingencyTables.ProfilePrograms.TerminalColumnEntryInput line 58
  13. def OAI.ContingencyTables.ProfilePrograms.terminalColumnEntryInput line 60
  14. def OAI.ContingencyTables.ProfilePrograms.terminalColumnEntryInputRealizer line 63
  15. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_terminalColumnEntryInput line 66
  16. def OAI.ContingencyTables.ProfilePrograms.terminalColumnEntry line 70
  17. def OAI.ContingencyTables.ProfilePrograms.terminalColumnEntryRealizer line 72
  18. def OAI.ContingencyTables.ProfilePrograms.terminalColumnEntryMeasure line 76
  19. lemma OAI.ContingencyTables.ProfilePrograms.work_terminalColumnEntry line 79
  20. def OAI.ContingencyTables.ProfilePrograms.terminalColumn line 88
  21. def OAI.ContingencyTables.ProfilePrograms.terminalColumnRealizer line 91
  22. def OAI.ContingencyTables.ProfilePrograms.terminalColumnMeasure line 100
  23. lemma OAI.ContingencyTables.ProfilePrograms.work_terminalColumn line 104