OAI/Combinatorics/MatchingCount/Sampling/TreeOptionsAccept.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableOptions.accept line 12
2. def OAI.MatchingFPRAS.ExecutableOptions.acceptRealizer line 15
3. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_accept line 22
4. lemma OAI.MatchingFPRAS.ExecutableOptions.accept_repr line 31
5. def OAI.MatchingFPRAS.ExecutableOptions.metropolisProbability line 47
6. def OAI.MatchingFPRAS.ExecutableOptions.metropolisProbabilityRealizer line 49
7. lemma OAI.MatchingFPRAS.ExecutableOptions.polynomial_metropolisProbability line 53
8. lemma OAI.MatchingFPRAS.ExecutableOptions.metropolisProbability_repr line 61