OAI/Probability/SignedSweeps/BinaryNetworks.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.fiberPiece line 13
  2. def OAI.SignedSweeps.fiberSettingsEquiv line 33
  3. lemma OAI.SignedSweeps.fiberSettingsEquiv_apply line 56
  4. abbrev OAI.SignedSweeps.SwitchAddress line 71
  5. def OAI.SignedSweeps.switchCoordinates line 73
  6. lemma OAI.SignedSweeps.switchCoordinates_symm line 76
  7. abbrev OAI.SignedSweeps.LayerSettings line 80
  8. def OAI.SignedSweeps.layerSettingsEquiv line 82
  9. abbrev OAI.SignedSweeps.PhysicalSettings line 85
  10. def OAI.SignedSweeps.physicalSettingsEquiv line 87
  11. lemma OAI.SignedSweeps.sweepOperator_eq_physicalMean line 90
  12. lemma OAI.SignedSweeps.layerSettings_key line 97
  13. lemma OAI.SignedSweeps.layerSettings_bit line 103