OAI/Combinatorics/ContingencyTables/Rooted/ComputedRootedInput.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Rooted-oracle metadata from the executed original-input preprocessing

  1. abbrev OAI.ContingencyTables.ComputedRootedInput.Input line 13
  2. def OAI.ContingencyTables.ComputedRootedInput.forestFrame line 15
  3. def OAI.ContingencyTables.ComputedRootedInput.forestFrameRealizer line 17
  4. lemma OAI.ContingencyTables.ComputedRootedInput.polynomial_forestFrame line 20
  5. def OAI.ContingencyTables.ComputedRootedInput.catalogData line 24
  6. def OAI.ContingencyTables.ComputedRootedInput.catalogDataRealizer line 27
  7. lemma OAI.ContingencyTables.ComputedRootedInput.polynomial_catalogData line 35
  8. def OAI.ContingencyTables.ComputedRootedInput.prepared line 43
  9. def OAI.ContingencyTables.ComputedRootedInput.preparedRealizer line 45
  10. lemma OAI.ContingencyTables.ComputedRootedInput.polynomial_prepared line 48
  11. lemma OAI.ContingencyTables.ComputedRootedInput.catalogData_instance line 55
  12. lemma OAI.ContingencyTables.ComputedRootedInput.baseline_instance line 66
  13. lemma OAI.ContingencyTables.ComputedRootedInput.prepared_instance line 82