OAI/Combinatorics/KMedianRecovery/Branching/CopyComparison.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedianRecovery.Completion.CopyGround.transversal line 9
2. lemma OAI.MetricKMedianRecovery.Completion.CopyGround.transversal_feasible line 11
3. lemma OAI.MetricKMedianRecovery.Completion.CopyGround.transversal_center line 16
4. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryBranchContext.balls_eq_source line 23
5. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryBranchContext.padded_comparison line 37
6. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryBranchProgram.planned_successful_completion line 58