OAI/Combinatorics/MatchingCount/Machines/TreeWeightTable.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ExecutableSource.sourceWeights line 12
2. def OAI.MatchingFPRAS.ExecutableSource.rowsWith line 14
3. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_rowsWith line 18
4. def OAI.MatchingFPRAS.ExecutableSource.sourceWeightsRealizer line 22
5. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_sourceWeights line 24
6. lemma OAI.MatchingFPRAS.ExecutableSource.sourceWeights_source line 27
7. theorem OAI.MatchingFPRAS.ExecutableSource.sourceWeights_post line 43