OAI/Combinatorics/SumProduct/Alignment/SquareInduction09.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SquareInduction.quadratic_general_leibman_binomial line 44
2. def OAI.SquareInduction.DegreeCharacterData line 126
3. def OAI.SquareInduction.DegreeCompactEstimate line 132
4. def OAI.SquareInduction.DegreeNormalizedEstimate line 140
5. lemma OAI.SquareInduction.DegreeCharacterData.mono line 149
6. def OAI.SquareInduction.DegreeRankStatement line 160
7. def OAI.SquareInduction.DegreeStatement line 176
8. theorem OAI.SquareInduction.degree_rank_factor_return line 204