OAI/Combinatorics/BalancedRyser/Deletion/SelectedDeletion.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Balanced.SelectedDeletion.Output line 17
  2. abbrev OAI.Balanced.SelectedDeletion.Kernel line 19
  3. def OAI.Balanced.SelectedDeletion.configuration line 23
  4. def OAI.Balanced.SelectedDeletion.InitialGood line 26
  5. def OAI.Balanced.SelectedDeletion.IsExperiment line 29
  6. def OAI.Balanced.SelectedDeletion.fixedSuccessMass line 36
  7. def OAI.Balanced.SelectedDeletion.fixedCylinderMass line 39
  8. def OAI.Balanced.SelectedDeletion.jointMass line 43
  9. def OAI.Balanced.SelectedDeletion.successMass line 46
  10. def OAI.Balanced.SelectedDeletion.deletionJointMass line 48
  11. def OAI.Balanced.SelectedDeletion.RealizesConditionalLaw line 51
  12. def OAI.Balanced.SelectedDeletion.occupancyFailureMass line 54
  13. def OAI.Balanced.SelectedDeletionResult line 62