OAI/Combinatorics/MatchingCount/Machines/TreeMatrix.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MatchingFPRAS.ExecutableSource.MatrixInput line 9
2. def OAI.MatchingFPRAS.ExecutableSource.activityRow line 11
3. def OAI.MatchingFPRAS.ExecutableSource.activityRowRealizer line 13
4. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_activityRow line 16
5. def OAI.MatchingFPRAS.ExecutableSource.activityMatrix line 23
6. def OAI.MatchingFPRAS.ExecutableSource.activityMatrixRealizer line 24
7. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_activityMatrix line 25
8. def OAI.MatchingFPRAS.ExecutableSource.materialize line 29
9. def OAI.MatchingFPRAS.ExecutableSource.materializeRealizer line 30
10. lemma OAI.MatchingFPRAS.ExecutableSource.polynomial_materialize line 32
11. lemma OAI.MatchingFPRAS.ExecutableSource.activityMatrix_repr line 41
12. lemma OAI.MatchingFPRAS.ExecutableSource.activityMatrix_source_repr line 52