OAI/Computability/FourierTransform/ChunkPrograms.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PowerSaving.RAM.Bench.Engrave.strand line 16
2. abbrev OAI.PowerSaving.RAM.Bench.Engrave.double line 38

   Source documentation

   nesting scans for 3 chunk coordinates.

   abbrev double (b : Bench m ι) (l : ι→ℕ) :=
   …

   Mentions: OAI.PowerSaving.RAM.Bench

3. abbrev OAI.PowerSaving.RAM.Bench.Engrave.triple line 40
4. lemma OAI.PowerSaving.RAM.Bench.Engrave.duoStrand line 43
5. lemma OAI.PowerSaving.RAM.Bench.Engrave.riprap line 54