OAI/Algebra/AuslanderReiten/Cones/ConeCohomology.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.cohomology_eq_iff line 16
2. theorem OAI.ArExplicit.coneComparison_injective_lift line 23
3. theorem OAI.ArExplicit.coneComparison_surjective_lift line 49
4. theorem OAI.ArExplicit.coneEnd_cocycle_is_boundary line 70
5. theorem OAI.ArExplicit.coneEnd_cohomology_subsingleton line 130
6. theorem OAI.ArExplicit.coneEnd_nontrivial_of_kernel line 141