OAI/Algebra/AuslanderReiten/Coordinates/
198 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- BranchHomCoordinates.lean 5 declarations
- BranchHomProfile.lean 3 declarations
- CochainStableComparison.lean 6 declarations
- ConcreteComparisonPositive.lean 1 declarations
- ConcreteCubicAction.lean 3 declarations
- ConcreteCubicClasses.lean 3 declarations
- ConcreteCubicStepAction.lean 2 declarations
- ConcreteMainCriterion.lean 3 declarations
- ConcreteParameters.lean 6 declarations
- CubicShiftNaturality.lean 4 declarations
- FiniteConnectingCoordinates.lean 3 declarations
- FiniteConnectingProducts.lean 5 declarations
- FiniteExtSourceComparison.lean 2 declarations
- FiniteExtSourceCoordinates.lean 5 declarations
- FiniteShiftedMap.lean 3 declarations
- FiniteSourceCoordinates.lean 4 declarations
- FiniteTensorComparison.lean 2 declarations
- FiniteTensorComparisonEquiv.lean 2 declarations
- FiniteTensorProjection.lean 1 declarations
- GradedConjugate.lean 4 declarations
- GradedRowCoordinates.lean 2 declarations
- IteratedCubicCoordinates.lean 3 declarations
- IteratedShiftAddition.lean 2 declarations
- IteratedShiftNaturality.lean 3 declarations
- MapExtend.lean 6 declarations
- MappedBiproductHom.lean 3 declarations
- MappedBiproductRow.lean 1 declarations
- NormalizedBranchValue.lean 2 declarations
- ShiftedBoundaryComponents.lean 4 declarations
- ShiftedConjugateAction.lean 2 declarations
- ShiftedCoordinateProducts.lean 2 declarations
- ShiftedInverse.lean 2 declarations
- ShiftedObjectCoordinates.lean 3 declarations
- TensorComparisonHomotopy.lean 1 declarations
- TensorComparisonNaturality.lean 1 declarations
- TensorComparisonProjectedRow.lean 1 declarations
- TensorComparisonScalar.lean 2 declarations
- TensorComparisonZero.lean 3 declarations
- TensorComparisonZeroTransport.lean 1 declarations
- TensorFiniteLift.lean 13 declarations
- TensorFiniteTop.lean 8 declarations
- TensorHighLift.lean 7 declarations
- TensorNormalizedTop.lean 8 declarations
- TensorRestriction.lean 8 declarations
- TensorTailMap.lean 12 declarations
- TensorTailTop.lean 4 declarations
- TensorTopComparison.lean 7 declarations
- TensorTopCoverSquares.lean 2 declarations
- TensorTopNaturality.lean 10 declarations
- TwoTwistLinear.lean 8 declarations