OAI/GroupTheory/SimpleAmenable/Homology/
1522 declarations, 0 contain sorry, 0 declared as axioms; 100 files
Files
- AbelianHomologyFinite.lean 3 declarations
- AlternatingH2.lean 15 declarations
- ArithmeticTangentBasis.lean 12 declarations
- AssemblyMap.lean 9 declarations
- BiProjective.lean 16 declarations
- BiResolution.lean 16 declarations
- BinaryPullback.lean 9 declarations
- BooleanStepCoefficients.lean 26 declarations
- BoundedHomologyEdge.lean 35 declarations
- CanonicalProduct.lean 9 declarations
- ChainPositiveCokernel.lean 5 declarations
- ChartControlChain.lean 3 declarations
- ClippedLineSlide.lean 9 declarations
- Coefficient.lean 15 declarations
- CoefficientContraction.lean 12 declarations
- CoefficientUCT.lean 10 declarations
- ComponentStable.lean 10 declarations
- ConcreteHomology.lean 41 declarations
- ConeHomology.lean 30 declarations
- Configuration.lean 34 declarations
- ConfigurationEquivariance.lean 16 declarations
- ConfigurationResolution.lean 6 declarations
- ConnectedProduct.lean 3 declarations
- ConstantSplit.lean 14 declarations
- DoubleCoordinates.lean 30 declarations
- E2Boundary.lean 16 declarations
- E2Descend.lean 11 declarations
- ExactShapeHomology.lean 23 declarations
- Face200.lean 23 declarations
- Face410.lean 15 declarations
- FiberSumHomology.lean 6 declarations
- FilteredEdgeReturn.lean 9 declarations
- FilteredHomology.lean 28 declarations
- FiniteCokernelExtension.lean 1 declarations
- FiniteCutResolution.lean 2 declarations
- FiniteGroupHomology.lean 5 declarations
- FinitePrimitiveResolution.lean 6 declarations
- FreeChains.lean 28 declarations
- FullGroupStability.lean 21 declarations
- FullH2.lean 12 declarations
- GlobalTangentChain.lean 3 declarations
- GroupoidComponentHomology.lean 16 declarations
- HomologyAdditive.lean 29 declarations
- IntegralHomologyFunctorial.lean 26 declarations
- IntegralTransgressionFinite.lean 20 declarations
- IntegralTransgressionHomology.lean 10 declarations
- InwardTemplateResolutions.lean 5 declarations
- LabelRelabel.lean 9 declarations
- MarkedBlockDifferentials.lean 21 declarations
- MarkedGradedFinite.lean 51 declarations
- MarkedLowHomology.lean 10 declarations
- MarkedPrimitiveFaces.lean 59 declarations
- MarkedSigns.lean 17 declarations
- ModelAssembly.lean 33 declarations
- NoetherianTor.lean 30 declarations
- PermutationAugmentation.lean 6 declarations
- PiBinary.lean 4 declarations
- PiH1Coproduct.lean 11 declarations
- PiSSet.lean 30 declarations
- PointFiberHomology.lean 12 declarations
- PolygonCoefficientFinite.lean 16 declarations
- PolygonHomologyAction.lean 7 declarations
- PolygonStableHomology.lean 12 declarations
- PowerEquivalence.lean 16 declarations
- ProductChains.lean 22 declarations
- ProductHomologyMaps.lean 6 declarations
- ProductNatural.lean 14 declarations
- QuotientRegular.lean 19 declarations
- ReducedNatural.lean 15 declarations
- ReducedTensorFinite.lean 7 declarations
- ReducedTensorTwo.lean 27 declarations
- RegularAugmentation.lean 10 declarations
- RegularBlock.lean 27 declarations
- RegularCoefficientDouble.lean 22 declarations
- RegularLiftFaces.lean 9 declarations
- RegularTotalDifferential.lean 36 declarations
- RegularTotalFiniteDifferentials.lean 9 declarations
- RelabelCoefficients.lean 4 declarations
- RestrictedPolygon.lean 1 declarations
- RingGroupHomology.lean 9 declarations
- StageCoefficients.lean 21 declarations
- StageHomologyCoordinates.lean 14 declarations
- StageRefinementHomology.lean 1 declarations
- SymmetricH1.lean 13 declarations
- TensorJoint.lean 2 declarations
- TensorSplit.lean 2 declarations
- TorusCoefficientFinite.lean 12 declarations
- TotalComparison.lean 7 declarations
- TotalFiltration.lean 18 declarations
- TotalFiniteness.lean 11 declarations
- TotalProjection.lean 30 declarations
- TotalSingle.lean 23 declarations
- TrajectoryDifferential.lean 8 declarations
- TrajectoryTensor.lean 3 declarations
- TransitiveCanonical.lean 10 declarations
- TranslationCoefficientAction.lean 16 declarations
- TranslationCoefficients.lean 8 declarations
- UniformConcurrentMesh.lean 7 declarations
- VerticalStringResolution.lean 21 declarations
- WindowEnclosureChains.lean 11 declarations