OAI/Topology/ArtinGroups/Realizations/
545 declarations, 0 contain sorry, 0 declared as axioms; 67 files
Files
- AffineWeightMax.lean 5 declarations
- CellDeligne.lean 11 declarations
- CellIndex.lean 13 declarations
- CellIndexTypeInjective.lean 6 declarations
- CellInteriorChart.lean 11 declarations
- CellUnion.lean 20 declarations
- ConeWeights.lean 8 declarations
- ContractionPoint.lean 3 declarations
- DeligneRankBound.lean 5 declarations
- DirectedCoverSequence.lean 2 declarations
- EarlierUpperContractible.lean 1 declarations
- FiniteWeightedNatSums.lean 2 declarations
- FiniteWeightsCompact.lean 5 declarations
- FrameFamilyWeightedLevel.lean 1 declarations
- FullSphericalCell.lean 3 declarations
- FusionWeightSplit.lean 5 declarations
- FusionWeightedHom.lean 5 declarations
- LiftedFaceChart.lean 11 declarations
- LiftedWeightStar.lean 8 declarations
- ModelFaceHomeomorph.lean 11 declarations
- MulBlockDiagonal'Entry.lean 2 declarations
- NegativeBlockContractible.lean 3 declarations
- NerveChain.lean 13 declarations
- NerveOrderMap.lean 13 declarations
- NerveOrderRetractionEquiv.lean 2 declarations
- NervePrismPatch.lean 5 declarations
- NervePrismValue.lean 9 declarations
- NoncriticalPositiveCell.lean 15 declarations
- OrderWeights.lean 15 declarations
- OrderWeightsContractibleLower.lean 1 declarations
- OrderWeightsContractibleLower2.lean 1 declarations
- OrderWeightsContractibleUnique.lean 1 declarations
- PartialEquivContinuousSymm.lean 1 declarations
- PositiveCellPoset.lean 11 declarations
- PositiveCellPoset2.lean 7 declarations
- PositiveFullCell.lean 9 declarations
- PositiveLiftedCell.lean 8 declarations
- PositiveRootCell.lean 4 declarations
- QuotientFinrankKer.lean 10 declarations
- RealizeSimplex.lean 43 declarations
- RestrictedCellEmbedding.lean 5 declarations
- RestrictedLiftedCell.lean 7 declarations
- RestrictedLiftedContractible.lean 3 declarations
- SalvettiCoverContractible.lean 1 declarations
- SalvettiProjection.lean 5 declarations
- WeightAffineValue.lean 15 declarations
- WeightAttach.lean 9 declarations
- WeightCarrier.lean 7 declarations
- WeightChainCover.lean 10 declarations
- WeightColor.lean 11 declarations
- WeightDim.lean 10 declarations
- WeightDual.lean 3 declarations
- WeightEarlierLower.lean 9 declarations
- WeightHomeomorph.lean 13 declarations
- WeightInclusion.lean 12 declarations
- WeightInsertRetract.lean 10 declarations
- WeightJoinKey.lean 8 declarations
- WeightLinearLinkInverse.lean 10 declarations
- WeightMap.lean 10 declarations
- WeightMapCover.lean 10 declarations
- WeightOld.lean 18 declarations
- WeightPrincipalProjection.lean 4 declarations
- WeightRetractionPiece.lean 17 declarations
- WeightUpperCone.lean 15 declarations
- WeightVertexRetract.lean 8 declarations
- WeightedCounts.lean 5 declarations
- WeightedReflectedHigh.lean 1 declarations