Documentation

LeanPool

return to top

source

Imports

Init
LeanPool.ABCExceptions.Imports
LeanPool.ACMax.Imports
LeanPool.AFormalizationOfBorelDeterminacyInLean.Imports
LeanPool.Ado.Imports
LeanPool.AgreeToDisagree.Imports
LeanPool.AharoniKorman.Imports
LeanPool.AndersonConjecture.Imports
LeanPool.Apportionment.Imports
LeanPool.ArchonFirstProofResults.Imports
LeanPool.ArtinWedderburn.Imports
LeanPool.AsymptoticTrianglePacking.Imports
LeanPool.BKARForestFormula.Imports
LeanPool.BannaiBannaiStanton.Imports
LeanPool.Basic.Imports
LeanPool.BeckFialaMatrix.Imports
LeanPool.Besicovitch.Imports
LeanPool.BicausalOT.Imports
LeanPool.Biswal.Imports
LeanPool.BlockSpectralSensitivity.Imports
LeanPool.BollobasNikiforov.Imports
LeanPool.BooleanIsoperimetry.Imports
LeanPool.BooleanMultiplication.Imports
LeanPool.BrauerGroupNew.Imports
LeanPool.BrillNoetherGraphs.Imports
LeanPool.BrooksSubcubic.Imports
LeanPool.Brouwer.Imports
LeanPool.BruhatTits.Imports
LeanPool.Burkholder.Imports
LeanPool.CaffarelliKohnNirenberg.Imports
LeanPool.CarlsonFunctions.Imports
LeanPool.CencovPetz.Imports
LeanPool.CenteredMaximal.Imports
LeanPool.Champernowne.Imports
LeanPool.ChannelCapacity.Imports
LeanPool.ChipFiring.Imports
LeanPool.Chudnovsky.Imports
LeanPool.Chvatal.Imports
LeanPool.CircuitComplexity.Imports
LeanPool.Circuitlib.Imports
LeanPool.ClassificationOfSurfaces.Imports
LeanPool.Clawristotle.Imports
LeanPool.CommonNeighbourConjecture.Imports
LeanPool.CompactSpectral.Imports
LeanPool.CompactnessAndDegeneracy.Imports
LeanPool.CompositionAlgebras.Imports
LeanPool.Computability.Imports
LeanPool.ComputableReal.Imports
LeanPool.ConcentrationInequalities.Imports
LeanPool.ConnesKreimer.Imports
LeanPool.ConnesRigidity.Imports
LeanPool.ConwayRefinement.Imports
LeanPool.CramerWold.Imports
LeanPool.CriticalPortraits.Imports
LeanPool.CutAndProject.Imports
LeanPool.DeadEnds.Imports
LeanPool.DemazureOperatorsLean.Imports
LeanPool.DemazureProduct.Imports
LeanPool.DensityHalesJewett.Imports
LeanPool.Desargues.Imports
LeanPool.Dilatations.Imports
LeanPool.DirectedTopologyLean4.Imports
LeanPool.DistanceGeometry.Imports
LeanPool.DomainTheory.Imports
LeanPool.DrossFractionalTriangleDecomposition.Imports
LeanPool.Duality.Imports
LeanPool.EcTateLean.Imports
LeanPool.Egrs75.Imports
LeanPool.EhrhartVolumeInequality.Imports
LeanPool.EllipticPDE.Imports
LeanPool.Erdos1196.Imports
LeanPool.Erdos132ConvexK3.Imports
LeanPool.Erdos132N14.Imports
LeanPool.Erdos132ThreeChain.Imports
LeanPool.Erdos137.Imports
LeanPool.Erdos346.Imports
LeanPool.Erdos367.Imports
LeanPool.Erdos403.Imports
LeanPool.Erdos548.Imports
LeanPool.Erdos81PaperIContrib.Imports
LeanPool.Erdos81PaperIIContrib.Imports
LeanPool.Erdos81PaperIIIContrib.Imports
LeanPool.Erdos865.Imports
LeanPool.Erdos97ConvexOctagon.Imports
LeanPool.ErdosGinzburgZiv.Imports
LeanPool.ErdosMoser.Imports
LeanPool.ErdosTuzaValtr.Imports
LeanPool.EuclideanJordan.Imports
LeanPool.EvenGraphCycles.Imports
LeanPool.EventStructures.Imports
LeanPool.ExpChaotic.Imports
LeanPool.FactorizationSystems.Imports
LeanPool.Feige.Imports
LeanPool.FelConjecture.Imports
LeanPool.Fineqs.Imports
LeanPool.FiniteGraphFundamentalGroup.Imports
LeanPool.FiveEighthsTheorem.Imports
LeanPool.Flean.Imports
LeanPool.FltRegular.Imports
LeanPool.FoZfc.Imports
LeanPool.FormalLearningTheory.Imports
LeanPool.FormalizationOfBoundedArithmetic.Imports
LeanPool.FourAP.Imports
LeanPool.FriezePatterns.Imports
LeanPool.FrontierMathOpenHypergraphs.Imports
LeanPool.FullyDynamicMatching.Imports
LeanPool.FundamentalInequality.Imports
LeanPool.GKPCarry.Imports
LeanPool.GapCVP.Imports
LeanPool.GaussianMomentsCounterexamples.Imports
LeanPool.GoemansFlow.Imports
LeanPool.GranvilleMoore.Imports
LeanPool.GraphColouringMatching.Imports
LeanPool.GrothendieckVanishing.Imports
LeanPool.HSDInteriorPointLP.Imports
LeanPool.HadwigerNelsonBounds.Imports
LeanPool.HansonWright.Imports
LeanPool.HardSphereNBC.Imports
LeanPool.HasseMinkowski.Imports
LeanPool.HopfProblem.Imports
LeanPool.Incompleteness.Imports
LeanPool.InfinitaryLogic.Imports
LeanPool.InfiniteConnesRigidity.Imports
LeanPool.InflationTermination.Imports
LeanPool.IsTranscendentalPi.Imports
LeanPool.IsoGraph.Imports
LeanPool.Isoperimetric.Imports
LeanPool.JacobianDiffgeo.Imports
LeanPool.JohnsonLindenstraussLean.Imports
LeanPool.KahnKalai.Imports
LeanPool.KaltonPeck.Imports
LeanPool.KaltonRoberts.Imports
LeanPool.KasamiCyclicAdditive.Imports
LeanPool.Koethe.Imports
LeanPool.Komlos.Imports
LeanPool.KrafftSieve.Imports
LeanPool.KrohnRhodes.Imports
LeanPool.Kuramoto.Imports
LeanPool.Kurosh.Imports
LeanPool.LanguageGeneration.Imports
LeanPool.LatticeTriangle.Imports
LeanPool.Lean4GlCoalgebras.Imports
LeanPool.Lean4Itree.Imports
LeanPool.LeanBooleanfun.Imports
LeanPool.LeanComplexAnalysis.Imports
LeanPool.LeanModelChecking.Imports
LeanPool.LeanModularForms.Imports
LeanPool.LeanPolyABC.Imports
LeanPool.LeanQuantumAlg.Imports
LeanPool.LeanStationaryHarmonicMaps.Imports
LeanPool.LehmerE10.Imports
LeanPool.Lentil.Imports
LeanPool.LiCriterion.Imports
LeanPool.ListEdgeColoringComplete.Imports
LeanPool.LocalComplexGeometry.Imports
LeanPool.LongGapsBetweenPrimes.Imports
LeanPool.LowDimSolvClassification.Imports
LeanPool.LowWeightPauliDynamics.Imports
LeanPool.MRiscX.Imports
LeanPool.Malliavin.Imports
LeanPool.MarkovProcess.Imports
LeanPool.MarshallHall.Imports
LeanPool.MassFormula.Imports
LeanPool.MatchingLogic.Imports
LeanPool.MaxFlowMinCut.Imports
LeanPool.MetricCodes.Imports
LeanPool.MinModulusUniqueMultisetSum.Imports
LeanPool.MinimumDegreeMatching.Imports
LeanPool.MisereGames.Imports
LeanPool.Monlib4.Imports
LeanPool.Monsky.Imports
LeanPool.MooreBound.Imports
LeanPool.MoserLatticeColorings.Imports
LeanPool.MovingSofa.Imports
LeanPool.MulticolorTriangleRamsey.Imports
LeanPool.NagataFactoriality.Imports
LeanPool.NandakumarRamanaRao.Imports
LeanPool.NashEmbedding.Imports
LeanPool.NashWilliams.Imports
LeanPool.NaslundCounterexample.Imports
LeanPool.NavierStokesAndEuler.Imports
LeanPool.NemytskiiLebesgue.Imports
LeanPool.Neukirch.Imports
LeanPool.Nikodym.Imports
LeanPool.Nivat.Imports
LeanPool.NonSoficGroup.Imports
LeanPool.OSforGFF.Imports
LeanPool.OddPrimeValuationDistribution.Imports
LeanPool.Odlyzko.Imports
LeanPool.OneManifold.Imports
LeanPool.OperatorTheory.Imports
LeanPool.OrderClosures.Imports
LeanPool.OrderPQ.Imports
LeanPool.PCFTheory.Imports
LeanPool.PDL.Imports
LeanPool.PFR.Imports
LeanPool.PLAcceleratedNesterovLean.Imports
LeanPool.PaperIVCliqueTree.Imports
LeanPool.ParallelPostulate.Imports
LeanPool.ParameterFreeGradient.Imports
LeanPool.PartialCombinatoryAlgebras.Imports
LeanPool.PartialRegularity.Imports
LeanPool.PebblingLean.Imports
LeanPool.PentagonalNumberTheorem.Imports
LeanPool.PentagonalNumberTheoremAnalytic.Imports
LeanPool.PermanentFormulaLowerBound.Imports
LeanPool.PhaseRetrieval.Imports
LeanPool.PoincareThreeBody.Imports
LeanPool.PointwiseBirkhoff.Imports
LeanPool.PolyaEnumerationTheorem.Imports
LeanPool.Polylean.Imports
LeanPool.PolynomialMethodRestrictedSums.Imports
LeanPool.Polytopes.Imports
LeanPool.Puiseux.Imports
LeanPool.PumpingCfg.Imports
LeanPool.PythagoreanPolynomialParametrization.Imports
LeanPool.QuadraticIterates.Imports
LeanPool.QuantumParallelRepetition.Imports
LeanPool.QuantumQuery.Imports
LeanPool.QuasiBorelSpaces.Imports
LeanPool.Rado.Imports
LeanPool.RamanujanNagell.Imports
LeanPool.RamanujanTauMissesPrimes.Imports
LeanPool.RearrangementNumber.Imports
LeanPool.Redhill.Imports
LeanPool.RegtsSevenster.Imports
LeanPool.RellichKondrachov.Imports
LeanPool.RiemannMappingTheorem.Imports
LeanPool.RiemannRochFunctionFields.Imports
LeanPool.RlTheoryInLean.Imports
LeanPool.RootSystem.Imports
LeanPool.RungeKuttaOrderConditions.Imports
LeanPool.Rupert.Imports
LeanPool.SNumbers.Imports
LeanPool.Sabidussi.Imports
LeanPool.SalemTheorem.Imports
LeanPool.SardMoreira.Imports
LeanPool.Schoenflies.Imports
LeanPool.ScottishBook155.Imports
LeanPool.SelbergSieve4.Imports
LeanPool.SemicircleCheck.Imports
LeanPool.SemicircleLaw.Imports
LeanPool.Sendov.Imports
LeanPool.Sensitivity.Imports
LeanPool.SetTheory.Imports
LeanPool.SeveralComplexVariables.Imports
LeanPool.Shannon1948Formalization.Imports
LeanPool.SingularModuli.Imports
LeanPool.SpectralPositivity.Imports
LeanPool.SpectralTheory.Imports
LeanPool.SpherePacking.Imports
LeanPool.Stafford38.Imports
LeanPool.StallingsFolding.Imports
LeanPool.SteinhausThreeGap.Imports
LeanPool.SumDifferenceExponent.Imports
LeanPool.SumsThreeSquares.Imports
LeanPool.Sundogcert.Imports
LeanPool.Superorthogonality.Imports
LeanPool.SyntheticEuclid4.Imports
LeanPool.ThreeGap.Imports
LeanPool.Turan3.Imports
LeanPool.TuttePath.Imports
LeanPool.TwoColoringOneRound.Imports
LeanPool.UlmsTheorem.Imports
LeanPool.UnconditionalSchauderBasis.Imports
LeanPool.VirasoroProject.Imports
LeanPool.Vizing.Imports
LeanPool.Vlasov.Imports
LeanPool.Wallace.Imports
LeanPool.WhiteheadTheorem.Imports
LeanPool.ZFLean.Imports
LeanPool.Zeta32.Imports
LeanPool.Zeta3Irrational.Imports
LeanPool.Zeta5Irrational.Imports
LeanPool.ZetaH123.Imports
LeanPool.ZetaZeros.Imports
LeanPool.ZhangYeungInequality.Imports

Imported by