OAI/Algebra/AuslanderReiten/Coordinates/TensorTopComparison.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.T.tensorTopComparison line 18
2. def OAI.ArExplicit.T.tensorEndpoint line 21
3. theorem OAI.ArExplicit.T.tensorHighB_eq line 24
4. theorem OAI.ArExplicit.T.tensorTopComparison_chain line 27
5. theorem OAI.ArExplicit.T.tensorTopComparison_zero line 35
6. def OAI.ArExplicit.T.twistedBarUnit line 41
7. theorem OAI.ArExplicit.T.barDb_unit line 43