OAI/Analysis/BoundedHochschild/AbelianComparison.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Comparison with abelian projections.

  1. lemma OAI.HochschildTypeII.abelian_orthogonal_mul line 25
  2. theorem OAI.HochschildTypeII.abelian_subequivalent_full line 41
  3. lemma OAI.HochschildTypeII.abelian_trace_le_full line 96