OAI/Probability/SwitchChain/FiberPairIndex.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.FiberPairIndex.sum_disjoint_pairs_eq_sum_supported line 13
2. theorem OAI.Problem315.FiberPairIndex.singletonSet_disjoint line 40
3. theorem OAI.Problem315.FiberPairIndex.sum_graph_pairs_eq_singleton_pairs line 50
4. theorem OAI.Problem315.FiberPairIndex.sum_powersetCard_eq_subtype line 62
5. theorem OAI.Problem315.FiberPairIndex.sum_pairs_insert line 75
6. theorem OAI.Problem315.FiberPairIndex.twice_sum_pairs_eq_ordered line 96
7. theorem OAI.Problem315.FiberPairIndex.sum_pairs_eq_half_ordered line 125
8. theorem OAI.Problem315.FiberPairIndex.sum_pairs_eq_half_subtype line 133
9. theorem OAI.Problem315.FiberPairIndex.sum_graph_pairs_eq_half_singleton_ordered line 148