OAI/Combinatorics/BalancedRyser/Probability/PatternModelExpansion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Balanced.PatternModelMoments.centered_product_integrable line 12
2. lemma OAI.Balanced.PatternModelMoments.fixedExpectation_count_eq_sum line 35
3. theorem OAI.Balanced.PatternModelMoments.centered_moment_expansion line 49
4. def OAI.Balanced.PatternModelMoments.noIsolated line 69
5. theorem OAI.Balanced.PatternModelMoments.centered_moment_le_noIsolated line 73