OAI/Combinatorics/KMedian/Process/ActionTransitionList.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.RationalBatchData.ActionTransition.Raw line 14
  2. def OAI.MetricKMedian.RationalBatchData.ActionTransition.selected line 16
  3. def OAI.MetricKMedian.RationalBatchData.ActionTransition.dead line 17
  4. def OAI.MetricKMedian.RationalBatchData.ActionTransition.sources line 19
  5. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.selected_poly line 22
  6. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.dead_poly line 27
  7. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.sources_poly line 33
  8. def OAI.MetricKMedian.RationalBatchData.ActionTransition.view line 39
  9. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.selected_mem line 40
  10. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.selected_light line 50
  11. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.dead_view line 76
  12. theorem OAI.MetricKMedian.RationalBatchData.ActionTransition.sources_view line 98