OAI/GroupTheory/SimpleAmenable/PolygonGeometry/
1318 declarations, 0 contain sorry, 0 declared as axioms; 129 files
Files
- AffineIntegrability.lean 4 declarations
- AlignedFiniteTables.lean 4 declarations
- AlignedGroups.lean 10 declarations
- AnchorConstants.lean 1 declarations
- AxisAnchorFamily.lean 22 declarations
- AxisCutSequences.lean 22 declarations
- CanonicalSectors.lean 24 declarations
- CellGeometry.lean 4 declarations
- ChartBoundaryEndpoints.lean 6 declarations
- ChartQuadrants.lean 8 declarations
- ClippedGerms.lean 10 declarations
- ClippedIntervals.lean 9 declarations
- ClosedChartOverlap.lean 12 declarations
- ClosedSquareGerms.lean 1 declarations
- CommonTranslatedCopies.lean 9 declarations
- CompactCommonRefinement.lean 2 declarations
- CompactFineGrid.lean 11 declarations
- ConcurrentAnchors.lean 11 declarations
- ConcurrentCellDecisions.lean 1 declarations
- ConcurrentGeometry.lean 11 declarations
- ConcurrentInwardModel.lean 5 declarations
- ConjugationTransport.lean 2 declarations
- ControlledPatching.lean 2 declarations
- CoordinateModels.lean 8 declarations
- CoordinateProductPatterns.lean 4 declarations
- CoordinateWindowTarget.lean 5 declarations
- DirectionStripCounts.lean 12 declarations
- EvaluationTable.lean 4 declarations
- ExteriorPhaseGeometry.lean 2 declarations
- FarClippingGeometry.lean 5 declarations
- FinePatchAtlas.lean 8 declarations
- FiniteArrangementGerms.lean 7 declarations
- FiniteNestedLaw.lean 11 declarations
- FiniteRefiningGrid.lean 9 declarations
- FiniteSectorPartition.lean 12 declarations
- FixedChartTables.lean 1 declarations
- FlagArrangementControl.lean 12 declarations
- FlagGerms.lean 20 declarations
- FlagSeparatingLevels.lean 7 declarations
- FlagSiteCounts.lean 8 declarations
- FlagSites.lean 21 declarations
- FlagTentMass.lean 13 declarations
- FlagTranslation.lean 18 declarations
- FrameCompatibility.lean 3 declarations
- FrameDisjointness.lean 9 declarations
- FreshEvenBank.lean 3 declarations
- FullGroupAffineData.lean 18 declarations
- GoodRowSeparators.lean 25 declarations
- InactiveNeighborhoodActions.lean 22 declarations
- InactiveQuadrantAction.lean 2 declarations
- InactiveQuadrantAnchors.lean 3 declarations
- InitialPointwiseTable.lean 7 declarations
- IntersectionControl.lean 7 declarations
- IntervalTangentConnectivity.lean 10 declarations
- InvariantPatching.lean 4 declarations
- InwardGermTransport.lean 6 declarations
- InwardMargins.lean 2 declarations
- InwardPlanarGerms.lean 5 declarations
- LabelShiftedCharts.lean 7 declarations
- LiftedTranslationOrbits.lean 1 declarations
- LocalChartDecisions.lean 8 declarations
- LocalClippedBoxFormula.lean 6 declarations
- LocalCoordinateClassifier.lean 6 declarations
- MatrixInverseCalculus.lean 11 declarations
- NestedCutCalculus.lean 19 declarations
- ObservableDistance.lean 9 declarations
- ObservableProducts.lean 5 declarations
- OffsetFrames.lean 6 declarations
- OpenAffineCharts.lean 13 declarations
- OperationalControl.lean 1 declarations
- OrderedSubdivision.lean 3 declarations
- PeriodicSlotStars.lean 12 declarations
- PlaneCornerCoordinates.lean 17 declarations
- PlaneCornerInjectivity.lean 12 declarations
- PlaneCornerKernel.lean 19 declarations
- PlanePeriodization.lean 7 declarations
- PlaneStepFunctions.lean 41 declarations
- PolygonAction.lean 25 declarations
- PolygonArea.lean 21 declarations
- PolygonAreaAlgebra.lean 9 declarations
- PolygonBankEmbedding.lean 10 declarations
- PolygonComponentCompletion.lean 12 declarations
- PolygonDiagramRefinement.lean 9 declarations
- PolygonGridComparison.lean 7 declarations
- PolygonGridEmbedding.lean 7 declarations
- PolygonMatchingLaw.lean 3 declarations
- PolygonObjectRefinement.lean 9 declarations
- PolygonObjectSum.lean 21 declarations
- PolygonPiecewiseSlots.lean 4 declarations
- PolygonSmallPartition.lean 7 declarations
- PrivateBankReserve.lean 1 declarations
- PrivateBankWord.lean 13 declarations
- RectangularBound.lean 5 declarations
- RefinedEndpointDecisions.lean 8 declarations
- RefinedLocalDecisions.lean 2 declarations
- RefinementNeighborhoods.lean 2 declarations
- ResolvedBoolean.lean 17 declarations
- RoutingIndependence.lean 7 declarations
- SectorControl.lean 14 declarations
- SectorOffsetCoherence.lean 5 declarations
- Sectors.lean 16 declarations
- SeparatedAxisSectors.lean 14 declarations
- ShapeTranslationUnique.lean 2 declarations
- ShiftedSlots.lean 16 declarations
- SmallControlCalculus.lean 8 declarations
- SmallControlTransfer.lean 4 declarations
- SmallFamilyWords.lean 20 declarations
- SortedAxisCuts.lean 17 declarations
- SpatialChartGeometry.lean 11 declarations
- Supported.lean 35 declarations
- SupportedCellPatching.lean 3 declarations
- TangentChartTemplates.lean 23 declarations
- TangentWalkCenters.lean 8 declarations
- TentMatrixPositivity.lean 20 declarations
- TorusStepFunctions.lean 30 declarations
- TranslationLifts.lean 3 declarations
- TranslationRoutingHelpers.lean 10 declarations
- TranslationTransport.lean 12 declarations
- TupleChartDomain.lean 32 declarations
- UniformPropagationBounds.lean 7 declarations
- VaryingCellClassification.lean 5 declarations
- VertexMargins.lean 9 declarations
- WindowCellPartition.lean 19 declarations
- WindowCells.lean 24 declarations
- WindowClipping.lean 6 declarations
- WindowEnclosureGeometry.lean 3 declarations
- WindowIntervals.lean 12 declarations
- WindowRectangles.lean 13 declarations
- WindowSubfamilies.lean 11 declarations