OAI/Analysis/TracialCohomology/TypeII.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Type ii for bounded Hochschild cohomology.

  1. def OAI.PopaTypeII.NoAbelianCorners line 21
  2. lemma OAI.PopaTypeII.projection_commute_of_all line 25
  3. lemma OAI.PopaTypeII.off_diagonal_nonzero line 39
  4. theorem OAI.PopaTypeII.orthogonal_pair line 53
  5. lemma OAI.PopaTypeII.square_zero_iff line 112
  6. lemma OAI.PopaTypeII.square_zero_chain_upper line 131
  7. lemma OAI.PopaTypeII.maximal_square_zero line 170
  8. theorem OAI.PopaTypeII.halve_projection line 184