OAI/CategoryTheory/ThickClosure/SourceCriterion.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.HahnWilson.SourceCriterion.chosenLocalization line 16
  2. abbrev OAI.HahnWilson.SourceCriterion.DgDerived line 21
  3. abbrev OAI.HahnWilson.SourceCriterion.Perf line 23
  4. abbrev OAI.HahnWilson.SourceCriterion.inclusion line 26
  5. lemma OAI.HahnWilson.SourceCriterion.coefficient_perfect line 29
  6. def OAI.HahnWilson.SourceCriterion.Bâ‚€ line 39
  7. abbrev OAI.HahnWilson.SourceCriterion.H line 42
  8. def OAI.HahnWilson.SourceCriterion.HdualMap line 45
  9. def OAI.HahnWilson.SourceCriterion.Exact line 53
  10. theorem OAI.HahnWilson.SourceCriterion.finite_tower_criterion line 71