OAI/Algebra/AuslanderReiten/Evaluation/EvaluatedConnectingCoordinates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.T.rowBoundary line 11
2. theorem OAI.ArExplicit.T.resolutionRow line 22
3. theorem OAI.ArExplicit.T.evaluatedSingletonFst_step line 43
4. theorem OAI.ArExplicit.T.evaluatedSingletonSnd_step line 54
5. theorem OAI.ArExplicit.T.simpleSkeletonConnecting_components line 65