OAI/GroupTheory/SimpleAmenable/Simplicial/
1441 declarations, 0 contain sorry, 0 declared as axioms; 89 files
Files
- BarBinaryBoundary.lean 9 declarations
- BarComponents.lean 25 declarations
- BarContractible.lean 22 declarations
- BarRowFiniteness.lean 24 declarations
- BarSegal.lean 10 declarations
- BitReindex.lean 4 declarations
- CanonicalShapiro.lean 23 declarations
- CellMonoidal.lean 9 declarations
- CoefficientFiltered.lean 10 declarations
- CoefficientNaturality.lean 24 declarations
- CoefficientNerve.lean 28 declarations
- ConjugationNatural.lean 14 declarations
- ConstantCoefficient.lean 6 declarations
- DiagonalComparison.lean 18 declarations
- DiagonalResolution.lean 26 declarations
- DiagramResolutionNatural.lean 9 declarations
- EZNatural.lean 11 declarations
- EilenbergZilber.lean 10 declarations
- FiberSum.lean 5 declarations
- FinitePowerConnected.lean 9 declarations
- FinitePowerGeneral.lean 26 declarations
- FinitePowerLow.lean 19 declarations
- FiniteSetMonoidal.lean 36 declarations
- FirstBarComponentsFinite.lean 4 declarations
- FirstBarDegreeTwoFinite.lean 25 declarations
- FirstBarForwardLow.lean 7 declarations
- FirstBarStableH1.lean 7 declarations
- FormalLawReindex.lean 5 declarations
- GroupNerveCoordinates.lean 18 declarations
- Id.lean 1 declarations
- InducedMonoidal.lean 29 declarations
- IntervalBar.lean 17 declarations
- IntervalBinary.lean 13 declarations
- IntervalEdge.lean 23 declarations
- IntervalEquivalence.lean 24 declarations
- IntervalEssSurj.lean 21 declarations
- IntervalExtension.lean 11 declarations
- IntervalFunctor.lean 14 declarations
- IntervalMap.lean 22 declarations
- IntervalPullback.lean 26 declarations
- IntervalTensor.lean 34 declarations
- IteratedBarMaps.lean 6 declarations
- LabelledMonoidal.lean 16 declarations
- LowerBarComposition.lean 20 declarations
- MonoidFaceLabels.lean 4 declarations
- MonoidNerveCoordinates.lean 10 declarations
- MonoidalCongruence.lean 23 declarations
- NerveProduct.lean 22 declarations
- NestedPosReindex.lean 33 declarations
- PiFiber.lean 15 declarations
- PointFiberMonoidal.lean 9 declarations
- PolygonBarFaces.lean 10 declarations
- PolygonMonoidalData.lean 32 declarations
- PolygonPositionalMonoidal.lean 12 declarations
- PolygonStringSimplicial.lean 4 declarations
- PositionalInclusionMonoidal.lean 16 declarations
- PowerDiagonal.lean 10 declarations
- RegularBlockFaces.lean 4 declarations
- ReindexHomology.lean 8 declarations
- ResolutionAugmentation.lean 13 declarations
- RestrictedFunctorial.lean 15 declarations
- RestrictedMonoidal.lean 28 declarations
- RestrictedMonoidalTranspose.lean 25 declarations
- RestrictedNerve.lean 25 declarations
- RestrictedTripleDegree.lean 12 declarations
- RestrictedTripleMaps.lean 14 declarations
- SimplicialAugment.lean 11 declarations
- SimplicialConnectedProduct.lean 6 declarations
- SimplicialH0.lean 14 declarations
- SmallEvenRouting.lean 4 declarations
- StageCoordinateMaps.lean 18 declarations
- StageMonoidal.lean 9 declarations
- StageNerveColimit.lean 16 declarations
- StageRefinementMonoidal.lean 10 declarations
- StageSimplicialColimit.lean 13 declarations
- StageTripleHomology.lean 22 declarations
- StringBarNaturality.lean 19 declarations
- StringEvaluation.lean 14 declarations
- Supplemental.lean 49 declarations
- TrajectoryFinite.lean 12 declarations
- TrajectoryReindexLabels.lean 28 declarations
- TranslationCoinvariants.lean 14 declarations
- TranslationFiberMonoidal.lean 5 declarations
- TranslationNerve.lean 34 declarations
- TripleAllNatural.lean 3 declarations
- TripleBarMaps.lean 24 declarations
- TripleComposition.lean 20 declarations
- TripleReindex.lean 10 declarations
- UniformMonoidal.lean 22 declarations