OAI/CategoryTheory/ThickClosure/Unroll.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.HahnWilson.Unroll.PC line 13
2. def OAI.HahnWilson.Unroll.obj line 15
3. def OAI.HahnWilson.Unroll.map line 20
4. def OAI.HahnWilson.Unroll.functor line 26
5. def OAI.HahnWilson.Unroll.scIso line 32
6. def OAI.HahnWilson.Unroll.homologyIso line 43
7. theorem OAI.HahnWilson.Unroll.homology_iso line 54
8. theorem OAI.HahnWilson.Unroll.map_quasiIso line 59