OAI/CategoryTheory/ThickClosure/CyclicStructure.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HahnWilson.CyclicStructure.initial_map line 16
2. theorem OAI.HahnWilson.CyclicStructure.isZero_map line 33
3. theorem OAI.HahnWilson.CyclicStructure.quasiIso_products line 42
4. instance OAI.HahnWilson.CyclicStructure.(instance at line 71) line 71
5. instance OAI.HahnWilson.CyclicStructure.(instance at line 74) line 74
6. instance OAI.HahnWilson.CyclicStructure.(instance at line 77) line 77
7. instance OAI.HahnWilson.CyclicStructure.(instance at line 81) line 81
8. theorem OAI.HahnWilson.CyclicStructure.complexFiniteProducts line 85
9. instance OAI.HahnWilson.CyclicStructure.(instance at line 92) line 92
10. instance OAI.HahnWilson.CyclicStructure.(instance at line 97) line 97