OAI/Computability/FourierTransform/WordCompilation.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PowerSaving.RAM.Bench.tickCount line 13
2. structure OAI.PowerSaving.RAM.Bench.Engrave line 15
3. lemma OAI.PowerSaving.RAM.Bench.Engrave.transfer line 24
4. lemma OAI.PowerSaving.RAM.Bench.Engrave.plate line 28
5. lemma OAI.PowerSaving.RAM.Bench.Engrave.full line 33
6. lemma OAI.PowerSaving.RAM.Bench.Engrave.single line 37
7. lemma OAI.PowerSaving.RAM.Bench.Engrave.rest line 42
8. lemma OAI.PowerSaving.RAM.Bench.Engrave.stack line 46
9. lemma OAI.PowerSaving.RAM.Bench.Engrave.parallel line 73
10. lemma OAI.PowerSaving.RAM.Bench.Engrave.wider line 85
11. lemma OAI.PowerSaving.RAM.Bench.Engrave.mount line 92
12. lemma OAI.PowerSaving.RAM.Bench.Engrave.switch line 96
13. lemma OAI.PowerSaving.RAM.Bench.Engrave.congr line 106
14. lemma OAI.PowerSaving.RAM.Bench.Engrave.fork line 109
15. lemma OAI.PowerSaving.RAM.Bench.Engrave.plain line 116
16. lemma OAI.PowerSaving.RAM.Bench.Engrave.swatch line 122
17. lemma OAI.PowerSaving.RAM.Bench.Engrave.lace line 126