OAI/Computability/FourierTransform/LayerPrograms.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PowerSaving.RAM.arrowTy line 11
2. abbrev OAI.PowerSaving.RAM.stripeTy line 12
3. abbrev OAI.PowerSaving.RAM.filmTy line 13
4. def OAI.PowerSaving.RAM.emboss line 15
5. def OAI.PowerSaving.RAM.stripe line 18
6. def OAI.PowerSaving.RAM.film line 21
7. structure OAI.PowerSaving.RAM.Bench.Band line 29
8. lemma OAI.PowerSaving.RAM.Bench.Band.transfer line 37
9. lemma OAI.PowerSaving.RAM.Bench.Band.showOne line 41
10. lemma OAI.PowerSaving.RAM.Bench.Band.fresh line 45
11. lemma OAI.PowerSaving.RAM.Bench.Band.noOrder line 50
12. lemma OAI.PowerSaving.RAM.Bench.Band.plain line 55
13. lemma OAI.PowerSaving.RAM.Bench.Band.besideLeft line 64
14. lemma OAI.PowerSaving.RAM.Bench.Band.besideRight line 69
15. lemma OAI.PowerSaving.RAM.Bench.Band.beside line 81
16. lemma OAI.PowerSaving.RAM.Bench.Band.wider line 104