OAI/Algebra/AuslanderReiten/Evaluation/
246 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- CanonicalRegularEndpoint.lean 1 declarations
- CanonicalRegularMap.lean 2 declarations
- ConcreteBaseAugmentation.lean 3 declarations
- ConcreteBetaHom.lean 3 declarations
- ConcreteBetaTransfer.lean 10 declarations
- ConcreteBetaValue.lean 2 declarations
- ConcreteBranchBeta.lean 3 declarations
- ConcreteBranchDetector.lean 3 declarations
- ConcreteBranchTop.lean 2 declarations
- ConcreteEndpointCoordinates.lean 3 declarations
- ConcreteEndpointInsertion.lean 1 declarations
- ConcreteEvaluatedBase.lean 10 declarations
- ConcreteEvaluatedConeShift.lean 5 declarations
- ConcreteEvaluationCoefficient.lean 4 declarations
- ConcreteFreeCoefficient.lean 10 declarations
- ConcreteFreeCoordinateMap.lean 1 declarations
- ConcreteFreeExtension.lean 3 declarations
- ConcreteFreeInput.lean 2 declarations
- ConcreteFreePure.lean 5 declarations
- ConcreteFreeValue.lean 1 declarations
- ConcreteNativeAugmentation.lean 4 declarations
- ConcreteTensorFiber.lean 8 declarations
- ConcreteTensorFiberMaps.lean 5 declarations
- ConcreteTensorFiberProjection.lean 5 declarations
- EvaluatedAdjacentComponents.lean 7 declarations
- EvaluatedBaseQuotient.lean 10 declarations
- EvaluatedBaseShift.lean 12 declarations
- EvaluatedConnectingCoordinates.lean 5 declarations
- EvaluatedCosyzygyShift.lean 2 declarations
- EvaluatedCoverCanonical.lean 1 declarations
- EvaluatedCoverComparison.lean 8 declarations
- EvaluatedCoverCoordinates.lean 4 declarations
- EvaluatedCoverInitial.lean 3 declarations
- EvaluatedCoverProducts.lean 4 declarations
- EvaluatedCoverStep.lean 3 declarations
- EvaluatedCubicCover.lean 9 declarations
- EvaluatedMiddleCoordinates.lean 5 declarations
- EvaluatedMiddleNaturality.lean 5 declarations
- EvaluatedMiddleShift.lean 12 declarations
- EvaluatedOrdinaryFunctor.lean 4 declarations
- EvaluatedQuotientCubic.lean 10 declarations
- EvaluatedTopConnecting.lean 5 declarations
- EvaluatedTopCoordinates.lean 3 declarations
- EvaluatedTriangleArrows.lean 3 declarations
- RegularCoefficientNaturality.lean 2 declarations
- RegularEndpointFactor.lean 2 declarations
- RegularEvaluatedAugmentation.lean 1 declarations
- RegularEvaluationCoordinates.lean 3 declarations
- TensorBeta.lean 8 declarations
- TensorBetaEvaluation.lean 4 declarations
- TensorEndpointEvaluation.lean 5 declarations
- TensorEvaluatedTop.lean 2 declarations
- TensorFreeEvaluationCoordinates.lean 1 declarations
- TensorSourceUnit.lean 1 declarations
- TensorTwistEvaluation.lean 6 declarations