OAI/Algebra/AuslanderReiten/Modules/
256 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- ATwistFunctor.lean 7 declarations
- ATwistedCompleteAction.lean 7 declarations
- BimoduleEnveloping.lean 8 declarations
- Coinduced.lean 19 declarations
- CoinducedBimodule.lean 6 declarations
- CoinducedEmbedding.lean 7 declarations
- CoinducedModule.lean 23 declarations
- FiniteModuleEvaluation.lean 12 declarations
- FiniteModuleNaturality.lean 10 declarations
- FiniteModuleTriangle.lean 7 declarations
- InductionAdjunction.lean 6 declarations
- InductionBimodule.lean 22 declarations
- ModuleRestriction.lean 2 declarations
- SplitModules.lean 8 declarations
- SupportedPi.lean 3 declarations
- TInducedHom.lean 6 declarations
- TInductionHomology.lean 9 declarations
- TInductionTriangle.lean 11 declarations
- TrivialInduction.lean 23 declarations
- Twist.lean 7 declarations
- TwistedBimodule.lean 25 declarations
- TwistedEvaluationNaturality.lean 2 declarations
- TwistedFiniteEndpoint.lean 2 declarations
- TwistedModuleEvaluation.lean 5 declarations
- TwistedOneCochain.lean 8 declarations
- TwoActions.lean 11 declarations