OAI/Analysis/TracialCohomology/PatchConstruction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Patch construction for bounded Hochschild cohomology.

  1. theorem OAI.PopaPatching.tolerance_schedule line 19
  2. lemma OAI.PopaPatching.Rep.le_add line 68
  3. lemma OAI.PopaPatching.Rep.lt_add line 84
  4. theorem OAI.PopaPatching.exists_good_extension line 103
  5. theorem OAI.PopaPatching.exists_almost_full_good line 140
  6. theorem OAI.PopaCenter.exists_good_extension line 170
  7. theorem OAI.PopaCenter.exists_almost_full_good line 211