OAI/Analysis/TracialCohomology/Homogeneous.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Homogeneous for bounded Hochschild cohomology.

  1. def OAI.PopaCenter.Homogeneous line 26
  2. lemma OAI.PopaCenter.average_gns_tendsto line 29
  3. lemma OAI.PopaCenter.homogeneous_limit line 38
  4. lemma OAI.PopaCenter.homogeneous_zero line 52
  5. lemma OAI.PopaCenter.homogeneous_sub line 57
  6. lemma OAI.PopaCenter.homogeneous_add line 64
  7. lemma OAI.PopaCenter.small_homogeneous line 71
  8. theorem OAI.PopaCenter.homogeneous_chain_upper line 122
  9. theorem OAI.PopaCenter.exists_homogeneous_trace line 167