OAI/Analysis/TracialCohomology/NormalPreservation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Normal preservation for bounded Hochschild cohomology.

  1. theorem OAI.HochschildNormalPart.scalar_bilinear_normal_preservation line 25
  2. theorem OAI.HochschildNormalPart.operator_bilinear_normal_preservation line 48
  3. theorem OAI.BoundedHochschild.predual_small line 75
  4. def OAI.BoundedHochschild.dualIsometry line 82
  5. theorem OAI.BoundedHochschild.exists_same_universe_predual line 102