OAI/GroupTheory/SimpleAmenable/Configurations/
907 declarations, 0 contain sorry, 0 declared as axioms; 66 files
Files
- AlternatingStability.lean 16 declarations
- BooleanStages.lean 17 declarations
- CellFiber.lean 22 declarations
- CellFunctor.lean 9 declarations
- CellRelabel.lean 2 declarations
- CofinalPowers.lean 4 declarations
- ConditionalIntervalDifference.lean 2 declarations
- ConditionalTranslationStabilizers.lean 2 declarations
- DistinctSlotStars.lean 11 declarations
- EmptyStage.lean 9 declarations
- FiberAddition.lean 17 declarations
- FiberBinary.lean 6 declarations
- FiniteAlignedConfiguration.lean 1 declarations
- FiveTrackGeneration.lean 15 declarations
- FlagExchangeAction.lean 14 declarations
- FormalSectorProjection.lean 3 declarations
- LabelTranslation.lean 14 declarations
- LabelledStringEquiv.lean 8 declarations
- PointFiberEvaluation.lean 27 declarations
- PointwisePolygonTables.lean 16 declarations
- PolygonAlternatingConfigurations.lean 9 declarations
- PolygonAlternatingExtension.lean 1 declarations
- PolygonAlternatingStabilization.lean 6 declarations
- PolygonComponentStable.lean 21 declarations
- PolygonFixedReturn.lean 4 declarations
- PolygonFixedTrackProgress.lean 18 declarations
- PolygonGrid.lean 13 declarations
- PolygonGroupoid.lean 19 declarations
- PolygonGroupoidTracks.lean 9 declarations
- PolygonPlacementAlternating.lean 18 declarations
- PolygonPlacementArea.lean 6 declarations
- PolygonPlacementPermutation.lean 11 declarations
- PolygonStrandReconstruction.lean 12 declarations
- PolygonStringGroupoid.lean 23 declarations
- PolygonStringNormalization.lean 28 declarations
- PolygonTrackArea.lean 7 declarations
- PolygonTrackStabilizer.lean 28 declarations
- PolygonTrajectoryStrata.lean 17 declarations
- PolygonVerticalStrings.lean 13 declarations
- Rectangles.lean 9 declarations
- RepeatedTrackRouting.lean 13 declarations
- ReserveAtom.lean 3 declarations
- SlotInputGeneration.lean 8 declarations
- StabilizationComposition.lean 6 declarations
- StageBinary.lean 10 declarations
- StageDiagramCoverage.lean 5 declarations
- StageEvaluationEquiv.lean 5 declarations
- StageFiberSum.lean 23 declarations
- StageIteratedMaps2.lean 5 declarations
- StageOrder.lean 36 declarations
- StageRealization.lean 30 declarations
- StageRefinement.lean 5 declarations
- SymmetricCharts.lean 7 declarations
- SymmetricComponents.lean 26 declarations
- SymmetricConfiguration.lean 27 declarations
- SymmetricFaces.lean 25 declarations
- SymmetricStabilizer.lean 9 declarations
- SymmetricStable.lean 14 declarations
- TrackPoint.lean 39 declarations
- TrackTranslationChart.lean 21 declarations
- TrajectoryCoordinates.lean 11 declarations
- TrajectoryFaces.lean 6 declarations
- TrajectoryLabels.lean 29 declarations
- TrajectoryStages.lean 29 declarations
- TransitiveInduction.lean 21 declarations
- TranslationFiber.lean 7 declarations