OAI/Analysis/TracialCohomology/BidualApproximation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Bidual approximation for bounded Hochschild cohomology.

  1. theorem OAI.HochschildApproximation.mem_closure_image_ball line 22
  2. lemma OAI.HochschildApproximation.functional_prod line 63
  3. theorem OAI.HochschildApproximation.pair_representation line 68
  4. theorem OAI.HochschildApproximation.bounded_sequence_approximation line 82
  5. lemma OAI.HochschildApproximation.tendsto_of_fourth line 95
  6. theorem OAI.HochschildApproximation.quartic_tendsto_zero_bounded line 106
  7. theorem OAI.HochschildApproximation.closed_subspace_preserved_of_quartic line 123