OAI/Analysis/TracialCohomology/FinitePaths.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Finite paths for bounded Hochschild cohomology.

  1. def OAI.MissingFinitePaths.Factor line 20
  2. def OAI.MissingFinitePaths.FactorProducerGoal line 23
  3. def OAI.PopaPatching.pathCoefficients line 40
  4. def OAI.PopaPatching.pathDegrees line 41
  5. def OAI.PopaPatching.pathEncode line 45
  6. lemma OAI.PopaPatching.pathCoefficients_norm line 50
  7. lemma OAI.PopaPatching.pathEncode_degree line 54
  8. lemma OAI.PopaPatching.pathEncode_evaluate line 63
  9. theorem OAI.PopaPatching.produced_finite_paths line 87
  10. theorem OAI.PopaPatching.factorProducerGoal line 109
  11. theorem OAI.PopaCenter.produced_finite_paths line 126