OAI/Algebra/AuslanderReiten/Stable/StableTargetHomology.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.StableTargetHomology.postcomp line 16
2. theorem OAI.ArExplicit.StableTargetHomology.postcomp_comp line 23
3. def OAI.ArExplicit.StableTargetHomology.cycleToMap line 28
4. def OAI.ArExplicit.StableTargetHomology.cyclesToStable line 32
5. theorem OAI.ArExplicit.StableTargetHomology.cyclesToStable_surjective line 43
6. theorem OAI.ArExplicit.StableTargetHomology.cyclesToStable_kernel line 55
7. def OAI.ArExplicit.StableTargetHomology.homologyStableEquiv line 84
8. theorem OAI.ArExplicit.StableTargetHomology.homologyStableEquiv_mk line 93
9. def OAI.ArExplicit.StableTargetHomology.mapToCycle line 101
10. theorem OAI.ArExplicit.StableTargetHomology.cyclesToStable_mapToCycle line 106