OAI/Computability/FourierTransform/ToeplitzCompiler.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PowerSaving.RAM.Bench.reach_digit line 14
2. lemma OAI.PowerSaving.RAM.Bench.chorus_small line 23
3. lemma OAI.PowerSaving.RAM.Bench.chorus_digit line 28
4. structure OAI.PowerSaving.RAM.Bench.Library line 40
5. lemma OAI.PowerSaving.RAM.Bench.Library.transfer line 50
6. lemma OAI.PowerSaving.RAM.Bench.Library.buildSpan line 56
7. lemma OAI.PowerSaving.RAM.Bench.Library.buildHoop line 77
8. def OAI.PowerSaving.RAM.Bench.clipped line 97
9. def OAI.PowerSaving.RAM.Bench.panel line 99
10. def OAI.PowerSaving.RAM.Bench.canopy line 102
11. lemma OAI.PowerSaving.RAM.Bench.fromCanopy line 105
12. lemma OAI.PowerSaving.RAM.Bench.Library.buildPanel line 120
13. lemma OAI.PowerSaving.RAM.Bench.Library.wholeCanopy line 141
14. lemma OAI.PowerSaving.RAM.Bench.Library.buildHarp line 166