OAI/Probability/SKGap/Matrix/PolynomialCoeListSum.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.Noncrossing.polynomial_coe_list_sum line 45
2. lemma OAI.SKGap.Noncrossing.polynomial_coe_finset_sum line 48
3. theorem OAI.SKGap.Noncrossing.literalSeries_eq_wordPredictionPolynomial line 52