OAI/Dynamics/EntropyCounterexample/MapData.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem340.Construction.concreteData line 16
  2. def OAI.Problem340.Construction.concreteMap line 23
  3. theorem OAI.Problem340.Construction.concrete_gate_mem_Icc line 26
  4. theorem OAI.Problem340.Construction.concrete_cutoff_mem_Icc line 30
  5. theorem OAI.Problem340.Construction.concrete_saturation_bound line 34
  6. theorem OAI.Problem340.Construction.concrete_gain_mem_Icc line 38
  7. theorem OAI.Problem340.Construction.concrete_input_summable line 42
  8. theorem OAI.Problem340.Construction.concrete_input_bound line 49
  9. theorem OAI.Problem340.Construction.concreteMap_not_bijective line 56
  10. theorem OAI.Problem340.Construction.concrete_saturation_zero line 60
  11. theorem OAI.Problem340.Construction.concrete_gate_infty line 64
  12. theorem OAI.Problem340.Construction.concrete_gate_zero line 67
  13. theorem OAI.Problem340.Construction.clockIncrement_infty line 71
  14. theorem OAI.Problem340.Construction.concreteMap_infty_zero line 76
  15. theorem OAI.Problem340.Construction.readoutCoeff_fifty line 82
  16. theorem OAI.Problem340.Construction.periodicReadout_fifty line 89
  17. theorem OAI.Problem340.Construction.readout_fifty line 94
  18. theorem OAI.Problem340.Construction.clockIncrement_fifty_zero line 98
  19. theorem OAI.Problem340.Construction.periodicGain_fifty line 105
  20. theorem OAI.Problem340.Construction.concreteMap_fifty_zero line 110