OAI/Probability/SpanningForest/USTInclusionCount.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.USTInclusionCount.edgePairs line 12
2. theorem OAI.Problem336.USTInclusionCount.edgePairs_card line 15
3. theorem OAI.Problem336.USTInclusionCount.edgePairs_subset_iff line 18
4. theorem OAI.Problem336.USTInclusionCount.ustCylinder_positive_toReal line 22
5. theorem OAI.Problem336.USTInclusionCount.ustCylinder_positive_eq line 29
6. def OAI.Problem336.USTInclusionCount.supportedPairs line 36
7. theorem OAI.Problem336.USTInclusionCount.supportedPairs_map line 39
8. def OAI.Problem336.USTInclusionCount.requiredEdgeEquiv line 45
9. theorem OAI.Problem336.USTInclusionCount.requiredEdgeEquiv_val line 62
10. theorem OAI.Problem336.USTInclusionCount.supportedPairs_card line 66
11. theorem OAI.Problem336.USTInclusionCount.supportedPairs_inclusion_iff line 70
12. theorem OAI.Problem336.USTInclusionCount.det_required_reindex line 76