OAI/Combinatorics/KMedianRecovery/Branching/DesignatedBranchSuccess.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryBranchProgram.designated_successful_completion line 9
2. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryZeroBranch.output_feasible line 117
3. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryZeroBranch.successful_completion line 134
4. lemma OAI.MetricKMedianRecovery.BitMachine.BinaryZeroBranch.successful_probability line 170