OAI/GroupTheory/Thompson/
874 declarations, 0 contain sorry, 0 declared as axioms; 68 files
Files
- AffineGridArithmetic.lean 5 declarations
- AffinePiece.lean 7 declarations
- AffineTransport.lean 3 declarations
- AnalyticConstruction.lean 20 declarations
- AnalyticCorrection.lean 11 declarations
- AnalyticCurve.lean 28 declarations
- AnalyticCurveBounds.lean 24 declarations
- AnalyticCurveRotation.lean 9 declarations
- AnalyticCurveSeparation.lean 8 declarations
- AnalyticCutoffs.lean 16 declarations
- AnalyticLpCalculus.lean 4 declarations
- AnalyticModel.lean 4 declarations
- AnalyticNormalization.lean 9 declarations
- AnalyticOscillator.lean 29 declarations
- AnalyticPlaneOscillator.lean 14 declarations
- AnalyticRotation.lean 30 declarations
- AnalyticScalarDerivatives.lean 15 declarations
- AnalyticScalarProfiles.lean 46 declarations
- AnalyticSeparation.lean 2 declarations
- AnalyticSinc.lean 11 declarations
- AnalyticTube.lean 12 declarations
- BasicInterval.lean 59 declarations
- BasicIntervalNesting.lean 11 declarations
- BasicPartition.lean 19 declarations
- BoundaryAlgebra.lean 6 declarations
- CorrectionData.lean 11 declarations
- CorrectionLocal.lean 4 declarations
- CorrectionNonzero.lean 13 declarations
- CorrelationVariance.lean 14 declarations
- DisplacementEstimate.lean 1 declarations
- DyadicArithmetic.lean 20 declarations
- DyadicGapChain.lean 18 declarations
- DyadicGapPartition.lean 23 declarations
- DyadicImages.lean 17 declarations
- FiniteAverage.lean 34 declarations
- FiniteBoundary.lean 1 declarations
- FiniteCoarea.lean 13 declarations
- FiniteCorrelationBoundary.lean 2 declarations
- FiniteLevels.lean 11 declarations
- GlobalColors.lean 15 declarations
- HilbertAverage.lean 9 declarations
- IntervalCharts.lean 13 declarations
- IntervalFamily.lean 16 declarations
- IntervalHomeomorph.lean 17 declarations
- InvariantMean.lean 17 declarations
- Main.lean 5 declarations
- MeanApproximation.lean 7 declarations
- MeanToFolner.lean 3 declarations
- Model.lean 12 declarations
- OrderedChainKnots.lean 12 declarations
- OrderedPLInterpolation.lean 16 declarations
- PLRefinement.lean 2 declarations
- PartitionColorFamily.lean 10 declarations
- ProbabilityDefects.lean 19 declarations
- RecursiveColoring.lean 5 declarations
- RestrictionCovariance.lean 5 declarations
- SortedSubdivision.lean 5 declarations
- StandardCharacterization.lean 5 declarations
- StandardF.lean 11 declarations
- StandardPL.lean 18 declarations
- TransportFamily.lean 13 declarations
- TubeComparison.lean 1 declarations
- TubeNearest.lean 5 declarations
- TubeRegularCurve.lean 10 declarations
- TubeTangent.lean 3 declarations
- UniformPL.lean 15 declarations
- UniformPartition.lean 17 declarations
- UnitBall.lean 4 declarations