OAI/Combinatorics/ParityLifts/SparsePost.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.sparseStepBudget line 7
2. lemma OAI.ParityWL.Complexity.sparseStepBudget_rate line 11
3. lemma OAI.ParityWL.Complexity.sparseStepBudget_bound line 14
4. def OAI.ParityWL.Complexity.leafNumber line 20
5. def OAI.ParityWL.Complexity.postBudget line 22
6. def OAI.ParityWL.Complexity.postCode line 26
7. lemma OAI.ParityWL.Complexity.postCode_run line 28
8. lemma OAI.ParityWL.Complexity.postBudget_rate line 65