OAI/Computability/PerfectCompleteness/Foundations/HierarchicalPrediction.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.HierarchicalPrediction.selectedValue line 25
  2. theorem OAI.PerfectCompleteness.HierarchicalPrediction.selectedValue_of_I line 32
  3. abbrev OAI.PerfectCompleteness.HierarchicalPrediction.quotientMatrix line 51
  4. def OAI.PerfectCompleteness.HierarchicalPrediction.affinePrediction line 55
  5. def OAI.PerfectCompleteness.HierarchicalPrediction.rightUpper line 66
  6. def OAI.PerfectCompleteness.HierarchicalPrediction.LowerAccepts line 72
  7. theorem OAI.PerfectCompleteness.HierarchicalPrediction.rightUpper_eq_raw line 82
  8. theorem OAI.PerfectCompleteness.HierarchicalPrediction.table_some_iff line 99
  9. theorem OAI.PerfectCompleteness.HierarchicalPrediction.I_implies_mark line 114
  10. def OAI.PerfectCompleteness.HierarchicalPrediction.prediction line 125
  11. theorem OAI.PerfectCompleteness.HierarchicalPrediction.lower_accepts_predicts line 135