OAI/Analysis/BoundedHochschild/CentralRanks.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Central ranks and approximation by diagonal projections.

  1. lemma OAI.HochschildCentralComparison.central_projection_mul_le_left line 22
  2. lemma OAI.HochschildCentralComparison.central_projection_mul_le_right line 26
  3. lemma OAI.HochschildCentralComparison.central_projection_mul_mono line 31
  4. lemma OAI.HochschildCentralComparison.central_diagonal_trace line 40
  5. lemma OAI.HochschildCentralComparison.central_diagonal_trace_mul line 51
  6. structure OAI.HochschildCentralComparison.CentralRank line 59
  7. lemma OAI.HochschildCentralComparison.centralRank_zero line 74
  8. lemma OAI.HochschildCentralComparison.CentralRank.initial_mul_later line 87
  9. lemma OAI.HochschildCentralComparison.CentralRank.step line 99
  10. lemma OAI.HochschildCentralComparison.CentralRank.terminal_error line 175
  11. theorem OAI.HochschildCentralComparison.exists_central_rank line 200