OAI/Analysis/TracialCohomology/RepresentationLimits.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Representation limits for bounded Hochschild cohomology.

  1. lemma OAI.PopaPatching.Rep.ext line 22
  2. instance OAI.PopaPatching.Rep.(instance at line 25) line 25
  3. lemma OAI.PopaPatching.Rep.le_def line 39
  4. lemma OAI.PopaPatching.Rep.support_mul_of_le line 42
  5. def OAI.PopaPatching.Rep.toCorner line 48
  6. lemma OAI.PopaPatching.Rep.toCorner_val line 55
  7. lemma OAI.PopaPatching.Rep.toCorner_initial line 56
  8. lemma OAI.PopaPatching.Rep.toCorner_mono line 58
  9. def OAI.PopaPatching.Rep.rank line 63
  10. lemma OAI.PopaPatching.Rep.rank_mono line 64
  11. lemma OAI.PopaPatching.Rep.le_of_comparable_rank_le line 68
  12. lemma OAI.PopaPatching.Rep.monotone_limit line 89
  13. lemma OAI.PopaPatching.Rep.rank_tendsto line 118
  14. lemma OAI.PopaPatching.Rep.exists_maximal_closed line 128