OAI/MathematicalPhysics/Heisenberg/ReversedExposure.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Heisenberg.Exposure.layerBlocked_frame line 16
  2. theorem OAI.Heisenberg.Exposure.uniform_layer_regularity line 36
  3. theorem OAI.Heisenberg.Schedule.indexed_cyclic_localization line 72
  4. lemma OAI.Heisenberg.Cycle.missingSet_inv line 157
  5. lemma OAI.Heisenberg.Cycle.colorSpace_inv line 162
  6. lemma OAI.Heisenberg.Cycle.missingCount_inv line 171
  7. lemma OAI.Heisenberg.Exposure.layerHistory_reverse line 182
  8. lemma OAI.Heisenberg.Exposure.holeCut_reverse line 193
  9. lemma OAI.Heisenberg.Exposure.layerWeight_reverse line 200
  10. lemma OAI.Heisenberg.Exposure.coin_reverse line 206
  11. lemma OAI.Heisenberg.Exposure.layerPartition_reverse line 212
  12. lemma OAI.Heisenberg.Exposure.layerMass_reverse line 223
  13. lemma OAI.Heisenberg.Exposure.revealed_reverse line 229
  14. lemma OAI.Heisenberg.Exposure.exposedStep_reverse line 248