OAI/Combinatorics/BooleanFunctions/CellDegree.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SquareRootDegree.CellDegree.sub_le line 18
  2. theorem OAI.SquareRootDegree.CellDegree.event_degree line 28
  3. def OAI.SquareRootDegree.CellDegree.labelTuple line 63
  4. theorem OAI.SquareRootDegree.CellDegree.tuple_cell line 67
  5. theorem OAI.SquareRootDegree.CellDegree.tuple_degree line 76
  6. def OAI.SquareRootDegree.CellDegree.observationOn line 89
  7. theorem OAI.SquareRootDegree.CellDegree.observation_degree line 93
  8. def OAI.SquareRootDegree.Observations.fullCubeEquiv line 132
  9. def OAI.SquareRootDegree.Observations.switched line 135
  10. theorem OAI.SquareRootDegree.Observations.switched_degree line 140
  11. theorem OAI.SquareRootDegree.Observations.cubeSum_full line 153
  12. theorem OAI.SquareRootDegree.Observations.switched_score line 158
  13. theorem OAI.SquareRootDegree.Observations.switched_variance line 171
  14. theorem OAI.SquareRootDegree.Observations.switched_variance_scaled line 182