OAI/CategoryTheory/ThickClosure/HomologyBridge.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.HahnWilson.Unroll.derived_preservesZero line 17
2. lemma OAI.HahnWilson.HomologyBridge.zero_iff line 39
3. lemma OAI.HahnWilson.HomologyBridge.all_zero_iff line 58
4. lemma OAI.HahnWilson.HomologyBridge.torsion_of_iso line 71
5. lemma OAI.HahnWilson.HomologyBridge.torsion line 79
6. lemma OAI.HahnWilson.HomologyBridge.torsion_shift_diagonal line 85