OAI/Combinatorics/MatchingCount/Algorithm/TreeScalingCorrect.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableScaling.vectorRep line 11
2. lemma OAI.MatchingFPRAS.ExecutableScaling.rowMax_rep line 13
3. lemma OAI.MatchingFPRAS.ExecutableScaling.set_vectorRep line 54
4. lemma OAI.MatchingFPRAS.ExecutableScaling.step_rep line 62
5. lemma OAI.MatchingFPRAS.ExecutableScaling.initial_rep line 69
6. lemma OAI.MatchingFPRAS.ExecutableScaling.sweep_rep line 78
7. lemma OAI.MatchingFPRAS.ExecutableScaling.scale_rep line 96