OAI/Combinatorics/ContingencyTables/Counting/CountingComputedSettings.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

Computing every scalar control from the original bounded table

  1. abbrev OAI.ContingencyTables.CountingComputedSettings.Input line 14
  2. abbrev OAI.ContingencyTables.CountingComputedSettings.Parameters line 15
  3. def OAI.ContingencyTables.CountingComputedSettings.catalog line 17
  4. def OAI.ContingencyTables.CountingComputedSettings.catalogRealizer line 19
  5. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_catalog line 23
  6. def OAI.ContingencyTables.CountingComputedSettings.labelCount line 27
  7. def OAI.ContingencyTables.CountingComputedSettings.labelCountRealizer line 28
  8. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_labelCount line 31
  9. def OAI.ContingencyTables.CountingComputedSettings.preliminary line 34
  10. def OAI.ContingencyTables.CountingComputedSettings.consR line 37
  11. lemma OAI.ContingencyTables.CountingComputedSettings.poly_consR line 41
  12. def OAI.ContingencyTables.CountingComputedSettings.preliminaryRealizer line 45
  13. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_preliminary line 51
  14. def OAI.ContingencyTables.CountingComputedSettings.fullReturnCap line 62
  15. def OAI.ContingencyTables.CountingComputedSettings.controlExpressions line 63
  16. def OAI.ContingencyTables.CountingComputedSettings.basic line 65
  17. def OAI.ContingencyTables.CountingComputedSettings.basicRealizer line 67
  18. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_basic line 71
  19. def OAI.ContingencyTables.CountingComputedSettings.fillObservations line 75
  20. def OAI.ContingencyTables.CountingComputedSettings.fillObservationsRealizer line 77
  21. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_fillObservations line 87
  22. def OAI.ContingencyTables.CountingComputedSettings.parameters line 95
  23. def OAI.ContingencyTables.CountingComputedSettings.parametersRealizer line 96
  24. lemma OAI.ContingencyTables.CountingComputedSettings.polynomial_parameters line 98
  25. lemma OAI.ContingencyTables.CountingComputedSettings.catalog_data line 105
  26. lemma OAI.ContingencyTables.CountingComputedSettings.labelCount_data line 114
  27. lemma OAI.ContingencyTables.CountingComputedSettings.basic_values line 121
  28. lemma OAI.ContingencyTables.CountingComputedSettings.fillObservations_values line 129