OAI/Analysis/TracialCohomology/NormalReduction.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Normal reduction for bounded Hochschild cohomology.

  1. theorem OAI.BoundedHochschild.analyticProducer_proved line 22
  2. theorem OAI.BoundedHochschild.normal_reduction line 30
  3. theorem OAI.BoundedHochschild.normal_reduction_any line 40
  4. def OAI.BoundedHochschild.NormalReductionGoal line 63
  5. theorem OAI.BoundedHochschild.normalReductionGoal_proved line 74