OAI/Analysis/TracialCohomology/GoodExtensions.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Good extensions for bounded Hochschild cohomology.

  1. theorem OAI.PopaCenter.good_add line 28
  2. theorem OAI.PopaPatching.good_add line 112