OAI/Algebra/AuslanderReiten/Stable/RawSourceDegrees.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ArExplicit.CompleteComparison.RawCokernelAt line 14
2. def OAI.ArExplicit.CompleteComparison.rawCokernelAtEquiv line 16
3. theorem OAI.ArExplicit.CompleteComparison.rawCokernelAtEquiv_symm_mk line 25
4. def OAI.ArExplicit.CompleteComparison.rawCokernelAtInclusion line 30
5. theorem OAI.ArExplicit.CompleteComparison.rawCokernelAtInclusion_cover line 36
6. def OAI.ArExplicit.CompleteComparison.rawSourceAt line 48
7. theorem OAI.ArExplicit.CompleteComparison.rawSourceAt_mk line 54
8. theorem OAI.ArExplicit.CompleteComparison.rawSourceAt_postcomp line 67
9. def OAI.ArExplicit.CompleteComparison.rawSourceAtStableEquiv line 81
10. theorem OAI.ArExplicit.CompleteComparison.rawSourceAtStableEquiv_mk line 90