OAI/Algebra/AuslanderReiten/Resolutions/FiniteCoverProducts.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ArExplicit.FiniteCoverTower line 16
2. def OAI.ArExplicit.FiniteCoverTower.stepIso line 31
3. def OAI.ArExplicit.FiniteCoverTower.shiftIso line 37
4. def OAI.ArExplicit.FiniteCoverTower.boundaryClass line 40
5. def OAI.ArExplicit.FiniteCoverTower.coverClass line 46
6. theorem OAI.ArExplicit.FiniteCoverTower.coverClass_hom line 51
7. def OAI.ArExplicit.FiniteCoverTower.coverClassFrom line 66
8. theorem OAI.ArExplicit.FiniteCoverTower.coverClassFrom_source line 81