OAI/Combinatorics/BalancedRyser/Selection/SelectionAuxiliaryDrift.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.Selection.Process.measurable_snapshot_prefix_response line 13
  2. theorem OAI.Balanced.Selection.Process.stronglyMeasurable_retained_increment line 23
  3. theorem OAI.Balanced.Selection.Process.stronglyMeasurable_domainTrack line 31
  4. theorem OAI.Balanced.Selection.Process.stronglyMeasurable_degreeTrack line 50
  5. theorem OAI.Balanced.Selection.Process.condExp_current_retained_response line 69
  6. theorem OAI.Balanced.Selection.Process.condExp_domainTrack_increment line 77
  7. theorem OAI.Balanced.Selection.Process.condExp_degreeTrack_increment line 87