OAI/Analysis/BoundedHochschild/AsymptoticRigidity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Asymptotic first-letter identities and endpoint rigidity.

  1. theorem OAI.HochschildFirstLetter.asymptotic_first_letter_rigidity line 22
  2. lemma OAI.HochschildUltrapower.map_asymptotic_identity_sequence line 63
  3. theorem OAI.HochschildFirstLetter.asymptotic_first_letter_endpoints line 87