OAI/Combinatorics/KMedianRecovery/Branching/BranchWeights.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MetricKMedianRecovery.RationalSampling.assignmentWeight line 9
  2. lemma OAI.MetricKMedianRecovery.RationalSampling.assignmentWeight_cast line 11
  3. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.identity line 24
  4. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.identity_computes line 25
  5. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.identities line 26
  6. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.identities_computes line 27
  7. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.identities_pack line 31
  8. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.count line 36
  9. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.count_computes line 37
  10. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.filter_card line 38
  11. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.count_pack line 42
  12. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.run line 58
  13. def OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.run_computes line 59
  14. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryAssignmentWeight.run_pack line 62