OAI/Algebra/AuslanderReiten/Resolutions/
299 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- BinaryKoszul.lean 23 declarations
- BinaryKoszulDual.lean 12 declarations
- BinaryKoszulScalar.lean 2 declarations
- CProjectiveResolution.lean 22 declarations
- ConcreteKoszulColumn.lean 4 declarations
- ConcreteKoszulCoordinateLaws.lean 4 declarations
- ConcreteKoszulCoordinates.lean 3 declarations
- ConcreteKoszulRow.lean 1 declarations
- ConcreteNativeResolution.lean 4 declarations
- CoverFullHomAction.lean 3 declarations
- CoverStepCoordinates.lean 2 declarations
- CoverStepFullHom.lean 4 declarations
- CubicCoverSquares.lean 4 declarations
- EvaluatedOrdinaryResolution.lean 10 declarations
- EvaluatedResolutionTerms.lean 3 declarations
- FiniteCochainResolution.lean 6 declarations
- FiniteCoverProducts.lean 8 declarations
- FiniteCoverTransport.lean 2 declarations
- FiniteResolutionAdditive.lean 3 declarations
- FiniteResolutionEvaluation.lean 6 declarations
- FiniteResolutionIso.lean 2 declarations
- FiniteResolutionLinear.lean 3 declarations
- FiniteResolutionProduct.lean 13 declarations
- FiniteResolutionProductInclusions.lean 2 declarations
- MapResolutionCochain.lean 5 declarations
- MapResolutionExt.lean 3 declarations
- MapResolutionExtComparison.lean 1 declarations
- MapResolutionExtConjugate.lean 1 declarations
- MapResolutionExtMk.lean 4 declarations
- NatResolutionCochain.lean 6 declarations
- NatResolutionCubic.lean 4 declarations
- ProjectiveResolutionFunctor.lean 1 declarations
- Resolution.lean 39 declarations
- ResolutionCokernel.lean 3 declarations
- ResolutionCoverExt.lean 1 declarations
- ResolutionCubicConjugate.lean 2 declarations
- ResolutionEndpointIso.lean 8 declarations
- ResolutionExtAction.lean 5 declarations
- ResolutionExtIdentity.lean 3 declarations
- ResolutionExtSquare.lean 2 declarations
- ResolutionExtZero.lean 1 declarations
- ResolutionHomology.lean 8 declarations
- ResolutionProductCompatibility.lean 5 declarations
- ResolutionProducts.lean 5 declarations
- SimpleCoverClasses.lean 8 declarations
- SimpleCoverCubicConjugate.lean 16 declarations
- TrivialInductionComplex.lean 10 declarations
- TrivialInductionDual.lean 3 declarations
- TrivialInductionQuotient.lean 9 declarations