OAI/GroupTheory/SimpleAmenable/CentralCovers/
779 declarations, 0 contain sorry, 0 declared as axioms; 100 files
Files
- ActiveClippedModelActions.lean 6 declarations
- AlignedPolygonGeneration.lean 9 declarations
- AllWindowAction.lean 1 declarations
- AlphabetAlignedGeneration.lean 17 declarations
- AssignmentAtoms.lean 15 declarations
- AssignmentGeneration.lean 24 declarations
- AtomConjugation.lean 13 declarations
- AxisCutCommutation.lean 2 declarations
- AxisSplitting.lean 2 declarations
- BooleanCoordinateGeneration.lean 15 declarations
- BoundedRelationCover.lean 23 declarations
- CanonicalSlotStars.lean 11 declarations
- CentralRangeReflection.lean 6 declarations
- ClippedLineSlideAction.lean 3 declarations
- ClosedLocalAssignments.lean 5 declarations
- CommonFrameTransport.lean 10 declarations
- ConcurrentCellSlopeAction.lean 3 declarations
- ConcurrentCoordinateGates.lean 8 declarations
- ConditionalBooleanGeneration.lean 15 declarations
- ConditionalFamilyLaws.lean 16 declarations
- ConstantCellTemplates.lean 2 declarations
- ControlCalculus.lean 6 declarations
- CoordinateFamilyCompare.lean 4 declarations
- CoordinateJointLaw.lean 5 declarations
- CoordinateTemplateControl.lean 1 declarations
- CoordinateWindowBase.lean 3 declarations
- CoverUniformBridges.lean 5 declarations
- CrossingCellActions.lean 8 declarations
- DirectFactors.lean 12 declarations
- DisjointPolygonAtoms.lean 15 declarations
- DistinctSlotFixer.lean 1 declarations
- ExteriorClippedModels.lean 1 declarations
- FarClippedModels.lean 3 declarations
- FiniteCentralKernel.lean 6 declarations
- FiniteSlotRefinement.lean 13 declarations
- FinitelyManyTranslationRelations.lean 9 declarations
- FormalCoordinates.lean 15 declarations
- FormalGridPieces.lean 9 declarations
- FormalLaws.lean 11 declarations
- FormalPairSplits.lean 12 declarations
- FormalSectorSubfamily.lean 5 declarations
- FormalStarTables.lean 10 declarations
- FrameActions.lean 3 declarations
- FrameCentrality.lean 5 declarations
- FullAlphabetGeneration.lean 9 declarations
- FullSector.lean 17 declarations
- FullSectorCompatibility.lean 4 declarations
- GenerationUpstairs.lean 1 declarations
- GenuineFiniteGeneration.lean 17 declarations
- GeometricSectors.lean 10 declarations
- GlobalAlignedCentrality.lean 6 declarations
- GlobalSignControl.lean 3 declarations
- GridFormalPatching.lean 4 declarations
- GridPrimitiveInputs.lean 3 declarations
- GrowthAnchorLaw.lean 1 declarations
- GrowthAxisUniform.lean 17 declarations
- GrowthGeneration.lean 7 declarations
- IndividualGridSplits.lean 11 declarations
- InitialCoverSystem.lean 4 declarations
- InitialGridActions.lean 4 declarations
- LatticeTranslationTransport.lean 6 declarations
- LocalArrangementAssignments.lean 13 declarations
- LocalAtomComparison.lean 6 declarations
- PairControl.lean 13 declarations
- PairLawAssembly.lean 11 declarations
- PerfectCalculus.lean 34 declarations
- PerfectGeneratingFamilies.lean 9 declarations
- PhaseClippedModels.lean 2 declarations
- PolygonAtomLaw.lean 5 declarations
- PolygonCommutingRepresentatives.lean 3 declarations
- PrimitiveCentralLaws.lean 14 declarations
- PrimitiveChartActions.lean 2 declarations
- PrimitiveCopies.lean 9 declarations
- PrimitiveFormalSectors.lean 7 declarations
- PrimitiveGeometricGeneration.lean 15 declarations
- PrimitiveGermActions.lean 2 declarations
- PrimitiveGlobalTemplates.lean 4 declarations
- PrimitiveStarCoherence.lean 4 declarations
- PrimitiveTable.lean 14 declarations
- PrimitiveWords.lean 18 declarations
- PrivateBankFixer.lean 3 declarations
- RectangularAtlas.lean 4 declarations
- RefinedClippedModels.lean 8 declarations
- SectorDifferenceRange.lean 6 declarations
- SelectedInwardActions.lean 1 declarations
- ShiftedRouting.lean 4 declarations
- SimultaneousActiveActions.lean 3 declarations
- SmallFamilyGlobal.lean 10 declarations
- SmallFormalGlobal.lean 2 declarations
- SmallSectorGeneration.lean 5 declarations
- SmallStarRelators.lean 9 declarations
- StarAtomLaw.lean 4 declarations
- StarProjection.lean 10 declarations
- TangentRectangleCommutation.lean 1 declarations
- TemplateActualRelators.lean 4 declarations
- TemplateFormalRelators.lean 9 declarations
- TemplateRelators.lean 3 declarations
- TranslatedDisjoint.lean 5 declarations
- UniformTangentTransport.lean 4 declarations
- WholeCoverCentrality.lean 7 declarations