OAI/CategoryTheory/ThickClosure/BackwardStep.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HahnWilson.BackwardStep.torsion_to_free_zero line 17
2. theorem OAI.HahnWilson.BackwardStep.homology_backward_step line 33