OAI/Analysis/BoundedHochschild/AtomicResolution.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Orthogonal atomic central resolution.

  1. def OAI.HochschildAtomic.AtomicCenter line 26
  2. lemma OAI.HochschildAtomic.central_atoms_orthogonal line 30
  3. theorem OAI.HochschildAtomic.central_atoms_total line 48
  4. theorem OAI.HochschildAtomic.typeII_no_minimal line 76