OAI/Algebra/AuslanderReiten/Stable/CanonicalCosyzygy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.FiniteLeftModule.canonicalEnvelope line 17
2. def OAI.ArExplicit.FiniteLeftModule.canonicalEmbedding line 20
3. def OAI.ArExplicit.FiniteLeftModule.canonicalCosyzygy line 23
4. def OAI.ArExplicit.FiniteLeftModule.canonicalCosyzygies line 31
5. theorem OAI.ArExplicit.FiniteLeftModule.canonicalEnvelope_side line 41
6. theorem OAI.ArExplicit.FiniteLeftModule.canonicalCosyzygy_side line 48
7. theorem OAI.ArExplicit.FiniteLeftModule.canonicalCosyzygies_side line 61