OAI/Computability/FourierTransform/ToeplitzPreparation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PowerSaving.RAM.Bench.Fabric.frequency line 14
2. lemma OAI.PowerSaving.RAM.Bench.Fabric.spectrum line 21
3. lemma OAI.PowerSaving.RAM.Bench.Spots.trail line 32
4. lemma OAI.PowerSaving.RAM.Bench.Spots.slice line 39
5. lemma OAI.PowerSaving.RAM.Bench.Spots.eddy line 53
6. lemma OAI.PowerSaving.RAM.Bench.Spots.duct line 76
7. lemma OAI.PowerSaving.RAM.Bench.Spots.well line 83
8. lemma OAI.PowerSaving.RAM.Bench.Fabric.riseEntry line 94
9. lemma OAI.PowerSaving.RAM.Bench.Fabric.skirtEntry line 100
10. lemma OAI.PowerSaving.RAM.Bench.Spots.bore line 123