OAI/Analysis/TracialCohomology/Matrices.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Matrices for bounded Hochschild cohomology.

  1. lemma OAI.PopaMatrices.orthogonal_of_le_complement line 21
  2. theorem OAI.PopaMatrices.equal_partition line 39
  3. structure OAI.PopaMatrices.System line 90
  4. theorem OAI.PopaMatrices.exists_system line 98