OAI/Combinatorics/ParityLifts/ExpBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.ExpBound line 8
2. lemma OAI.ParityWL.Complexity.ExpBound.const line 12
3. lemma OAI.ParityWL.Complexity.ExpBound.poly line 18
4. lemma OAI.ParityWL.Complexity.ExpBound.exp line 22
5. lemma OAI.ParityWL.Complexity.ExpBound.mono line 25
6. lemma OAI.ParityWL.Complexity.ExpBound.mul line 30
7. lemma OAI.ParityWL.Complexity.ExpBound.mono_rate line 41
8. lemma OAI.ParityWL.Complexity.ExpBound.add_same line 50
9. lemma OAI.ParityWL.Complexity.ExpBound.add line 65
10. lemma OAI.ParityWL.Complexity.ExpBound.pow line 69
11. lemma OAI.ParityWL.Complexity.polynomial_absorb line 76
12. lemma OAI.ParityWL.Complexity.ExpBound.absorb line 108