OAI/Combinatorics/ContingencyTables/Rooted/RootedComponentProgram.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

Polynomial signed component sums for the executed root labels

  1. abbrev OAI.ContingencyTables.RootedComponentProgram.Record line 13
  2. abbrev OAI.ContingencyTables.RootedComponentProgram.Input line 14
  3. def OAI.ContingencyTables.RootedComponentProgram.positiveTerm line 16
  4. def OAI.ContingencyTables.RootedComponentProgram.negativeTerm line 17
  5. def OAI.ContingencyTables.RootedComponentProgram.positiveTermRealizer line 19
  6. def OAI.ContingencyTables.RootedComponentProgram.negativeTermRealizer line 25
  7. lemma OAI.ContingencyTables.RootedComponentProgram.polynomial_positiveTerm line 31
  8. lemma OAI.ContingencyTables.RootedComponentProgram.polynomial_negativeTerm line 38
  9. def OAI.ContingencyTables.RootedComponentProgram.parts line 45
  10. def OAI.ContingencyTables.RootedComponentProgram.partsRealizer line 49
  11. lemma OAI.ContingencyTables.RootedComponentProgram.polynomial_parts line 53
  12. def OAI.ContingencyTables.RootedComponentProgram.absoluteDifference line 58
  13. def OAI.ContingencyTables.RootedComponentProgram.absoluteDifferenceRealizer line 60
  14. lemma OAI.ContingencyTables.RootedComponentProgram.polynomial_absoluteDifference line 63
  15. lemma OAI.ContingencyTables.RootedComponentProgram.absoluteDifference_eq line 68
  16. def OAI.ContingencyTables.RootedComponentProgram.component line 75
  17. def OAI.ContingencyTables.RootedComponentProgram.componentRealizer line 76
  18. lemma OAI.ContingencyTables.RootedComponentProgram.polynomial_component line 78
  19. def OAI.ContingencyTables.RootedComponentProgram.total line 81
  20. def OAI.ContingencyTables.RootedComponentProgram.totalRealizer line 84
  21. theorem OAI.ContingencyTables.RootedComponentProgram.polynomial_total line 88
  22. def OAI.ContingencyTables.RootedComponentProgram.records line 98
  23. lemma OAI.ContingencyTables.RootedComponentProgram.parts_records line 101
  24. theorem OAI.ContingencyTables.RootedComponentProgram.component_records line 116
  25. theorem OAI.ContingencyTables.RootedComponentProgram.total_records line 120