OAI/Analysis/FreeWords/SecondMoment.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.KKWeingarten.perm_two_cases line 16
  2. theorem OAI.KKWeingarten.sum_perm_two line 20
  3. theorem OAI.KKWeingarten.positionMatrix_refl line 28
  4. theorem OAI.KKWeingarten.pair_position_refl line 33
  5. theorem OAI.KKWeingarten.pair_position_swap line 38
  6. theorem OAI.KKWeingarten.pair_position_self line 52
  7. theorem OAI.KKWeingarten.pair_swap_refl line 57
  8. theorem OAI.KKWeingarten.tensorAverage_column_pair line 67
  9. theorem OAI.KKWeingarten.haar_column_fourth line 103