OAI/Combinatorics/ContingencyTables/Sampling/UnitTerminalProgram.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

Deterministic terminal weights for the all-small branch

  1. def OAI.ContingencyTables.UnitCountPrograms.terminalData line 11
  2. def OAI.ContingencyTables.UnitCountPrograms.terminalDataRealizer line 14
  3. lemma OAI.ContingencyTables.UnitCountPrograms.polynomial_terminalData line 20
  4. def OAI.ContingencyTables.UnitCountPrograms.terminalEntry line 27
  5. def OAI.ContingencyTables.UnitCountPrograms.terminalEntryRealizer line 30
  6. lemma OAI.ContingencyTables.UnitCountPrograms.polynomial_terminalEntry line 35
  7. def OAI.ContingencyTables.UnitCountPrograms.terminalEntryMeasure line 40
  8. lemma OAI.ContingencyTables.UnitCountPrograms.work_terminalEntry line 42
  9. abbrev OAI.ContingencyTables.UnitCountPrograms.TerminalColumnInput line 45
  10. abbrev OAI.ContingencyTables.UnitCountPrograms.TerminalColumnEntryInput line 46
  11. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnEntryInput line 48
  12. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnEntryInputRealizer line 51
  13. lemma OAI.ContingencyTables.UnitCountPrograms.polynomial_terminalColumnEntryInput line 54
  14. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnEntry line 58
  15. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnEntryRealizer line 60
  16. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnEntryMeasure line 64
  17. lemma OAI.ContingencyTables.UnitCountPrograms.work_terminalColumnEntry line 67
  18. def OAI.ContingencyTables.UnitCountPrograms.terminalColumn line 76
  19. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnRealizer line 79
  20. def OAI.ContingencyTables.UnitCountPrograms.terminalColumnMeasure line 88
  21. lemma OAI.ContingencyTables.UnitCountPrograms.work_terminalColumn line 92