OAI/Algebra/AuslanderReiten/Cones/
372 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- BimoduleTwoCone.lean 12 declarations
- BimoduleTwoConeExact.lean 4 declarations
- BimoduleTwoConeSides.lean 13 declarations
- ChainCokernelIso.lean 6 declarations
- CochainCokernel.lean 6 declarations
- CochainCokernelIso.lean 4 declarations
- CokernelLinearCongr.lean 2 declarations
- CokernelProduct.lean 5 declarations
- CokernelShift.lean 3 declarations
- CokernelShiftCoordinates.lean 5 declarations
- CokernelSyzygy.lean 1 declarations
- ConcreteTwoConeCoordinates.lean 9 declarations
- ConcreteTwoConeEvaluation.lean 7 declarations
- ConcreteTwoConeProfile.lean 7 declarations
- ConcreteTwoTwistRows.lean 3 declarations
- ConeCohomology.lean 6 declarations
- ConeCokernel.lean 12 declarations
- ConeComparison.lean 6 declarations
- ConeConnectingCoordinates.lean 10 declarations
- ConeCriterion.lean 2 declarations
- ConeEnd.lean 17 declarations
- ConeExactness.lean 5 declarations
- ConeQuotientMap.lean 11 declarations
- MappingConeCokernel.lean 10 declarations
- MappingConeModule.lean 4 declarations
- MappingConeNaturality.lean 2 declarations
- MappingConeTotal.lean 8 declarations
- ShortExactConeRaw.lean 2 declarations
- TwoCone.lean 19 declarations
- TwoConeBaseRestriction.lean 2 declarations
- TwoConeBoundaryIdentification.lean 10 declarations
- TwoConeCells.lean 16 declarations
- TwoConeConnectingMaps.lean 9 declarations
- TwoConeEvaluatedBoundary.lean 5 declarations
- TwoConeEvaluatedTriangles.lean 6 declarations
- TwoConeExtensionDiagrams.lean 8 declarations
- TwoConeFiltration.lean 13 declarations
- TwoConeIteration.lean 5 declarations
- TwoConeKoszulCoordinates.lean 17 declarations
- TwoConeModuleTriangles.lean 12 declarations
- TwoConeProjective.lean 7 declarations
- TwoConeRestriction.lean 5 declarations
- TwoConeShiftedMap.lean 3 declarations
- TwoConeSkeleton.lean 35 declarations
- TwoConeStableRepresentative.lean 5 declarations
- TwoConeTail.lean 6 declarations
- TwoConeTailRestriction.lean 4 declarations
- TwoConeTopCokernel.lean 2 declarations
- TwoTriangleFiltration.lean 1 declarations