OAI/Combinatorics/MatchingCount/Sampling/TreeOptionsMaps.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.ExecutableOptions.repr_map line 9
2. lemma OAI.MatchingFPRAS.ExecutableOptions.uniform_map line 13
3. lemma OAI.MatchingFPRAS.ExecutableOptions.uniform_repr_map line 20
4. lemma OAI.MatchingFPRAS.ExecutableOptions.neighbors_map line 24
5. lemma OAI.MatchingFPRAS.ExecutableOptions.neighbors_repr_map line 32