OAI/Analysis/BoundedHochschild/CommutingAverages.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Translation averages preserving commuting invariance.

  1. lemma OAI.BoundedHochschild.predual_tendsto_translate line 23
  2. lemma OAI.BoundedHochschild.translate_iterate_eq line 32
  3. lemma OAI.BoundedHochschild.residual_translate_cesaro line 41
  4. lemma OAI.BoundedHochschild.translate_cesaro_fixed line 57
  5. theorem OAI.BoundedHochschild.exists_translate_fixed_preserving line 72