OAI/Algebra/AuslanderReiten/Ext/ATwistExt.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.ModuleBar.tensorTwist_image_scalar line 35
2. theorem OAI.ArExplicit.ModuleBar.tensorTwist_scalar line 43
3. abbrev OAI.ArExplicit.Resolution.aCanonicalInverseTwistExt line 60
4. theorem OAI.ArExplicit.Resolution.aCanonicalInverseTwistExt_kunneth line 68
5. abbrev OAI.ArExplicit.Resolution.aInverseTwistExt line 88
6. theorem OAI.ArExplicit.Resolution.aInverseTwistExt_kunneth line 96
7. abbrev OAI.ArExplicit.Resolution.inverseTwistImageScalarProof line 117
8. theorem OAI.ArExplicit.Resolution.aInverseTwistExt_image_scalar line 128
9. abbrev OAI.ArExplicit.Resolution.inverseTwistScalarProof line 132
10. theorem OAI.ArExplicit.Resolution.aInverseTwistExt_scalar line 143