OAI/Combinatorics/ParityLifts/LeafRate.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParityWL.Complexity.leafSlope line 7
2. lemma OAI.ParityWL.Complexity.leafSlope_nonneg line 9
3. lemma OAI.ParityWL.Complexity.ExpBound.scale line 11
4. lemma OAI.ParityWL.Complexity.ExpBound.add_const line 14
5. lemma OAI.ParityWL.Complexity.nat_two_exp_cast line 18
6. lemma OAI.ParityWL.Complexity.cost_mono line 21
7. lemma OAI.ParityWL.Complexity.leafTime_rate line 28
8. lemma OAI.ParityWL.Complexity.leafCost_rate line 57