OAI/Computability/FourierTransform/WorkingTransform.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

CRT and tensor schedule.

  1. abbrev OAI.PowerSaving.RAM.Bench.dualWord line 16
  2. def OAI.PowerSaving.RAM.Bench.chart line 17
  3. lemma OAI.PowerSaving.RAM.Bench.Fen.chartT line 23
  4. lemma OAI.PowerSaving.RAM.Bench.Thicket.via line 46
  5. theorem OAI.PowerSaving.RAM.Bench.Thicket.traverse line 96