OAI/NumberTheory/DukePrimeDegree/Entropy/PhysicalWindowConditionals.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Actual prefix conditionals on a physical product window

  1. lemma OAI.DukePrimeDegree.PhysicalPrefixWindow.coordinateMeasure line 20
  2. theorem OAI.DukePrimeDegree.PhysicalPrefixWindow.conditionalKernel line 27
  3. theorem OAI.DukePrimeDegree.PhysicalPrefixWindow.groupConditional line 40
  4. theorem OAI.DukePrimeDegree.PhysicalPrefixWindow.centeredConditional line 55