OAI/Combinatorics/SumProduct/Alignment/BooleanRough02.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.BooleanPeeling.peel_cube line 28
2. def OAI.BooleanRough.BoolCoeffs line 181
3. lemma OAI.BooleanRough.support_card_le_sum line 185
4. lemma OAI.BooleanRough.degree_boolCoeffs line 193
5. lemma OAI.BooleanRough.monomial_boolean_eval line 205
6. lemma OAI.BooleanRough.eval_boolCoeffs line 225
7. theorem OAI.BooleanRough.exists_boolean_coefficients line 235
8. def OAI.BooleanRough.AsPoly line 241
9. lemma OAI.BooleanRough.asPoly_degree line 245
10. lemma OAI.BooleanRough.prod_boolean line 265
11. lemma OAI.BooleanRough.eval_asPoly line 274