OAI/Combinatorics/KMedianRecovery/Recovery/LeafBracket.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MetricKMedianRecovery.PhaseLeafCoupling.disjoint_leaf line 14
2. lemma OAI.MetricKMedianRecovery.PhaseLeafCoupling.prefix_leaf line 24
3. lemma OAI.MetricKMedianRecovery.PhaseLeafCoupling.prefix_swap line 43
4. lemma OAI.MetricKMedianRecovery.PhaseLeafCoupling.reach_after line 51
5. theorem OAI.MetricKMedianRecovery.PhaseLeafCoupling.leaf_success line 63
6. def OAI.MetricKMedianRecovery.PhaseLeafCoupling.leaf_bracket line 79