OAI/Probability/SwitchChain/PairAggregation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem315.PairAggregation.card_union_of_pairs line 12
2. lemma OAI.Problem315.PairAggregation.triple_incidence_count line 27
3. lemma OAI.Problem315.PairAggregation.sum_triple_incidence line 58
4. lemma OAI.Problem315.PairAggregation.triple_expansion line 72
5. lemma OAI.Problem315.PairAggregation.sum_pair_terms_over_triples line 109
6. theorem OAI.Problem315.PairAggregation.global_of_local_ambient line 122
7. lemma OAI.Problem315.PairAggregation.pairSum_restrict line 143
8. lemma OAI.Problem315.PairAggregation.local_quadratic_restrict line 156
9. theorem OAI.Problem315.PairAggregation.global_of_local line 173