Documentation

LeanPool.Stafford38.Imports

return to top

source

Imports

Init
LeanPool.Stafford38
LeanPool.Stafford38.AlgebraicAnalysis
LeanPool.Stafford38.FixedSourceSolution
LeanPool.Stafford38.Solution
LeanPool.Stafford38.Stafford38
LeanPool.Stafford38.AlgebraicAnalysis.Commutator
LeanPool.Stafford38.AlgebraicAnalysis.CommutatorRiccati
LeanPool.Stafford38.Proofs.Stafford38Reduction
LeanPool.Stafford38.Proofs.WeylPurePower
LeanPool.Stafford38.Proofs.WeylSymplectic
LeanPool.Stafford38.Stafford38.CanonicalSupportVanishingReduction
LeanPool.Stafford38.Stafford38.CoordinateDifferentialGeneration
LeanPool.Stafford38.Stafford38.DifferentialOperators
LeanPool.Stafford38.Stafford38.EulerRootSeparation
LeanPool.Stafford38.Stafford38.EvolutionaryCertificate
LeanPool.Stafford38.Stafford38.EvolutionaryCorollary
LeanPool.Stafford38.Stafford38.FixedSourceAssembly
LeanPool.Stafford38.Stafford38.FixedSourceChallengeTransport
LeanPool.Stafford38.Stafford38.FixedSourceStatement
LeanPool.Stafford38.Stafford38.FoundationClosure
LeanPool.Stafford38.Stafford38.LeftDenominatorTransport
LeanPool.Stafford38.Stafford38.LeftHandedCorollary
LeanPool.Stafford38.Stafford38.LocalizationCorollaries
LeanPool.Stafford38.Stafford38.LocalizedDifferentialClearing
LeanPool.Stafford38.Stafford38.LocalizedDifferentialCorollaries
LeanPool.Stafford38.Stafford38.LocalizedPolynomialCommutant
LeanPool.Stafford38.Stafford38.LocalizedPolynomialDerivations
LeanPool.Stafford38.Stafford38.LocalizedWeylAction
LeanPool.Stafford38.Stafford38.PaperInputs
LeanPool.Stafford38.Stafford38.PolynomialDifferentialOperators
LeanPool.Stafford38.Stafford38.PolynomialOperatorCommutators
LeanPool.Stafford38.Stafford38.PolynomialOperatorTaylorProjection
LeanPool.Stafford38.Stafford38.Statement
LeanPool.Stafford38.Stafford38.UniversalAssembly
LeanPool.Stafford38.AlgebraicAnalysis.Derivation.Central
LeanPool.Stafford38.AlgebraicAnalysis.Derivation.Escape
LeanPool.Stafford38.AlgebraicAnalysis.DifferentialOperators.Basic
LeanPool.Stafford38.AlgebraicAnalysis.DifferentialOperators.CoordinateGeneration
LeanPool.Stafford38.AlgebraicAnalysis.DifferentialOperators.FormallyEtaleDerivations
LeanPool.Stafford38.AlgebraicAnalysis.DifferentialOperators.LocalizedPolynomialCommutant
LeanPool.Stafford38.AlgebraicAnalysis.DifferentialOperators.LocalizedPolynomialDerivations
LeanPool.Stafford38.AlgebraicAnalysis.FieldTheory.FunctionField
LeanPool.Stafford38.AlgebraicAnalysis.LinearAlgebra.FiniteTaylorReconstruction
LeanPool.Stafford38.AlgebraicAnalysis.Module.BaseLocalizationModuleComparison
LeanPool.Stafford38.AlgebraicAnalysis.Module.BaseLocalizedKoszulPositivity
LeanPool.Stafford38.AlgebraicAnalysis.Module.CommutingPolynomialAction
LeanPool.Stafford38.AlgebraicAnalysis.Module.DenominatorTorsion
LeanPool.Stafford38.AlgebraicAnalysis.Module.EndomorphismKernelSupport
LeanPool.Stafford38.AlgebraicAnalysis.Module.EndomorphismKernelSupportOverBase
LeanPool.Stafford38.AlgebraicAnalysis.Module.EscapeAssembly
LeanPool.Stafford38.AlgebraicAnalysis.Module.EscapeSpan
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredSchreyer
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredStrictness
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermBoundaryExhaustion
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermBoundaryNaturality
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermPageActions
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermPageEquivalences
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermPages
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermSuccessorNaturality
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermTotalActions
LeanPool.Stafford38.AlgebraicAnalysis.Module.FilteredTwoTermTotalPages
LeanPool.Stafford38.AlgebraicAnalysis.Module.FreeSummandInduction
LeanPool.Stafford38.AlgebraicAnalysis.Module.HyperplaneRestriction
LeanPool.Stafford38.AlgebraicAnalysis.Module.LocalizedKernelCokernelEquivalences
LeanPool.Stafford38.AlgebraicAnalysis.Module.LocalizedMinimalSupportAvoidance
LeanPool.Stafford38.AlgebraicAnalysis.Module.MinimalPrimeFiniteLengthLocalization
LeanPool.Stafford38.AlgebraicAnalysis.Module.MinimalSupportExistence
LeanPool.Stafford38.AlgebraicAnalysis.Module.MinimalSupportKernelCokernelLengths
LeanPool.Stafford38.AlgebraicAnalysis.Module.MonicAnnihilatorFinite
LeanPool.Stafford38.AlgebraicAnalysis.Module.PrincipalKoszulFiniteTorsion
LeanPool.Stafford38.AlgebraicAnalysis.Module.PrincipalKoszulMinimalSupportPositivity
LeanPool.Stafford38.AlgebraicAnalysis.Module.PrincipalKoszulPositivity
LeanPool.Stafford38.AlgebraicAnalysis.Module.PrincipalKoszulSupportOverBase
LeanPool.Stafford38.AlgebraicAnalysis.Module.RankExact
LeanPool.Stafford38.AlgebraicAnalysis.Module.RankTorsion
LeanPool.Stafford38.AlgebraicAnalysis.Module.RightCoordinates
LeanPool.Stafford38.AlgebraicAnalysis.Module.Splice
LeanPool.Stafford38.AlgebraicAnalysis.Module.SplitLatticePresentation
LeanPool.Stafford38.AlgebraicAnalysis.Module.StableTorsionResidualSupport
LeanPool.Stafford38.AlgebraicAnalysis.Module.StablyFree
LeanPool.Stafford38.AlgebraicAnalysis.Module.TorsionProjectiveImage
LeanPool.Stafford38.AlgebraicAnalysis.Module.TriangularDenominator
LeanPool.Stafford38.AlgebraicAnalysis.Module.TwoSimplicity
LeanPool.Stafford38.AlgebraicAnalysis.Module.TwoTermPageLength
LeanPool.Stafford38.AlgebraicAnalysis.Module.UniformBoundaryVanishing
LeanPool.Stafford38.AlgebraicAnalysis.Module.Unimodular
LeanPool.Stafford38.AlgebraicAnalysis.Ore.ActiveCoordinate
LeanPool.Stafford38.AlgebraicAnalysis.Ore.Associativity
LeanPool.Stafford38.AlgebraicAnalysis.Ore.IteratedPBW
LeanPool.Stafford38.AlgebraicAnalysis.Ore.IteratedTower
LeanPool.Stafford38.AlgebraicAnalysis.Ore.LeftPBW
LeanPool.Stafford38.AlgebraicAnalysis.Ore.Localization
LeanPool.Stafford38.AlgebraicAnalysis.Ore.LocalizationExtension
LeanPool.Stafford38.AlgebraicAnalysis.Ore.PrincipalRightIdeal
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightDivision
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightHilbertBasis
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightIntersection
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightLocalization
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightPBW
LeanPool.Stafford38.AlgebraicAnalysis.Ore.RightQuotient
LeanPool.Stafford38.AlgebraicAnalysis.Ore.Tower
LeanPool.Stafford38.AlgebraicAnalysis.Polynomial.DistinguishedVariable
LeanPool.Stafford38.AlgebraicAnalysis.RingTheory.TwoGeneratorIdentity
LeanPool.Stafford38.Stafford38.Characteristic.ArtinianAdaptedBasisExistence
LeanPool.Stafford38.Stafford38.Characteristic.ArtinianAdaptedBasisTraceAdapter
LeanPool.Stafford38.Stafford38.Characteristic.ArtinianCoefficientField
LeanPool.Stafford38.Stafford38.Characteristic.ArtinianEquation33TraceProducer
LeanPool.Stafford38.Stafford38.Characteristic.ArtinianTriangularTrace
LeanPool.Stafford38.Stafford38.Characteristic.AssociatedGradedFinite
LeanPool.Stafford38.Stafford38.Characteristic.AssociatedGradedModule
LeanPool.Stafford38.Stafford38.Characteristic.BGab001CoefficientFieldTrace
LeanPool.Stafford38.Stafford38.Characteristic.BaseLocalizationModuleComparison
LeanPool.Stafford38.Stafford38.Characteristic.BaseLocalizedKoszulPositivity
LeanPool.Stafford38.Stafford38.Characteristic.BaseRelativePoisson
LeanPool.Stafford38.Stafford38.Characteristic.BaseZeroSection
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalAxisAvoidanceConsumer
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalAxisMonicInitialTop
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalBaseVariety
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalCertificate
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalFilteredGradedBridge
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalFilteredTwoTerm
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalGabberInvolutivityInterface
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalGradedTangentialEquivalences
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalKoszulContradiction
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalLaurentSymbolControl
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalMonicSaturation
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalNoncharacteristicCancellation
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalNormalAxisSupport
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalNormalSymbolFiniteness
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalOldTangentialFiniteness
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalPageEulerInequality
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalResidueExtensionSymbolControlAdapter
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalSupportAvoidanceFromCokernel
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialBoundaryMaps
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialPageOperators
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialRingEquivalence
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialSuccessors
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialSymbolFiniteness
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTangentialTotalAction
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTotalGradedActionCompatibility
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalTotalGradedBridge
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalUnitCoordinatePreimage
LeanPool.Stafford38.Stafford38.Characteristic.CanonicalUnitPreimageFromInitialTop
LeanPool.Stafford38.Stafford38.Characteristic.CommutingPolynomialAction
LeanPool.Stafford38.Stafford38.Characteristic.ConcreteEquation33SourceMatrices
LeanPool.Stafford38.Stafford38.Characteristic.ConcreteInducedZAction
LeanPool.Stafford38.Stafford38.Characteristic.ConcreteLocalizedTwoBlockSpecialFibre
LeanPool.Stafford38.Stafford38.Characteristic.ConcreteSquareZeroTraceData
LeanPool.Stafford38.Stafford38.Characteristic.EmptySupportVanishing
LeanPool.Stafford38.Stafford38.Characteristic.EndomorphismKernelSupport
LeanPool.Stafford38.Stafford38.Characteristic.EndomorphismKernelSupportOverBase
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotient
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientGraded
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientRees
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientReesAction
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientReesExact
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientSpecialFibre
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientSupport
LeanPool.Stafford38.Stafford38.Characteristic.FilteredQuotientTwoJet
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermBoundaryExhaustion
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermBoundaryNaturality
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermPageActions
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermPageEquivalences
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermPages
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermSuccessorNaturality
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermTotalActions
LeanPool.Stafford38.Stafford38.Characteristic.FilteredTwoTermTotalPages
LeanPool.Stafford38.Stafford38.Characteristic.FilteredVanishing
LeanPool.Stafford38.Stafford38.Characteristic.GabberGlobalAssembly
LeanPool.Stafford38.Stafford38.Characteristic.GeometricSupportDescent
LeanPool.Stafford38.Stafford38.Characteristic.GeometricSupportScalarExtension
LeanPool.Stafford38.Stafford38.Characteristic.HomogeneousChart
LeanPool.Stafford38.Stafford38.Characteristic.HyperplaneRestriction
LeanPool.Stafford38.Stafford38.Characteristic.InitialIdeal
LeanPool.Stafford38.Stafford38.Characteristic.InitialIdealHomogeneous
LeanPool.Stafford38.Stafford38.Characteristic.LinearAction
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedHighPowerTwoBlockVanishing
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedKernelCokernelEquivalences
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedMinimalSupportAvoidance
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedOrderReesTwoJetSpecializationKernel
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedSpecializationActionCompatibility
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedTwoBlockModuleExactness
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedTwoBlockPrincipalKernelDescent
LeanPool.Stafford38.Stafford38.Characteristic.LocalizedTwoBlockQuotient
LeanPool.Stafford38.Stafford38.Characteristic.MinimalPrimeFiniteLengthLocalization
LeanPool.Stafford38.Stafford38.Characteristic.MinimalPrimePoisson
LeanPool.Stafford38.Stafford38.Characteristic.MinimalSupportExistence
LeanPool.Stafford38.Stafford38.Characteristic.MinimalSupportKernelCokernelLengths
LeanPool.Stafford38.Stafford38.Characteristic.MonicAnnihilatorFinite
LeanPool.Stafford38.Stafford38.Characteristic.NoncharacteristicMinimalPrime
LeanPool.Stafford38.Stafford38.Characteristic.NormalSymbolPolynomial
LeanPool.Stafford38.Stafford38.Characteristic.OrderReesTwoJet
LeanPool.Stafford38.Stafford38.Characteristic.OrderReesTwoJetBracket
LeanPool.Stafford38.Stafford38.Characteristic.OrderReesTwoJetSpecializationKernel
LeanPool.Stafford38.Stafford38.Characteristic.Polynomial
LeanPool.Stafford38.Stafford38.Characteristic.PostScalarExtensionPoisson
LeanPool.Stafford38.Stafford38.Characteristic.PrincipalKoszulFiniteTorsion
LeanPool.Stafford38.Stafford38.Characteristic.PrincipalKoszulMinimalSupportPositivity
LeanPool.Stafford38.Stafford38.Characteristic.PrincipalKoszulPositivity
LeanPool.Stafford38.Stafford38.Characteristic.PrincipalKoszulSupportOverBase
LeanPool.Stafford38.Stafford38.Characteristic.RadicalMinimalPrimeInvolutivity
LeanPool.Stafford38.Stafford38.Characteristic.ReducedSupportIdeal
LeanPool.Stafford38.Stafford38.Characteristic.RightReesArtinianAdapter
LeanPool.Stafford38.Stafford38.Characteristic.SourceActionCommutatorExpansion
LeanPool.Stafford38.Stafford38.Characteristic.SpecializedNoncharacteristicEquality
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroAnnihilatorBracket
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroArtinianTruncation
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroHighPowerReduction
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroLinearTrace
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroLocalizedExactness
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroLocalizedRing
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroOreLocalization
LeanPool.Stafford38.Stafford38.Characteristic.SquareZeroTraceData
LeanPool.Stafford38.Stafford38.Characteristic.StableTorsionResidualSupport
LeanPool.Stafford38.Stafford38.Characteristic.SymplecticCompletion
LeanPool.Stafford38.Stafford38.Characteristic.TransposedFilteredModuleSupport
LeanPool.Stafford38.Stafford38.Characteristic.TwoTermPageLength
LeanPool.Stafford38.Stafford38.Characteristic.UniformBoundaryVanishing
LeanPool.Stafford38.Stafford38.Characteristic.ZeroSectionContainment
LeanPool.Stafford38.Stafford38.Geometry.AffineComponentCoordinateSplit
LeanPool.Stafford38.Stafford38.Geometry.AffineConormalClosure
LeanPool.Stafford38.Stafford38.Geometry.AffineConormalSpan
LeanPool.Stafford38.Stafford38.Geometry.ArcFrameConormal
LeanPool.Stafford38.Stafford38.Geometry.AsymptoticChartArcAdapter
LeanPool.Stafford38.Stafford38.Geometry.AsymptoticDivisorExistence
LeanPool.Stafford38.Stafford38.Geometry.CanonicalAsymptoticLaurentProducer
LeanPool.Stafford38.Stafford38.Geometry.CanonicalConstantCoordinateBranch
LeanPool.Stafford38.Stafford38.Geometry.CanonicalFiniteGradientProjectiveCoordinates
LeanPool.Stafford38.Stafford38.Geometry.CanonicalNonconstantFiniteGradientProduction
LeanPool.Stafford38.Stafford38.Geometry.CanonicalNonconstantFiniteGradientProductionProof
LeanPool.Stafford38.Stafford38.Geometry.CanonicalResidueExtensionAssembly
LeanPool.Stafford38.Stafford38.Geometry.CanonicalVisibleDivisorFrameProduction
LeanPool.Stafford38.Stafford38.Geometry.ChartArcAnnihilation
LeanPool.Stafford38.Stafford38.Geometry.CoisotropicTranslation
LeanPool.Stafford38.Stafford38.Geometry.CompletedDVRCoefficientSection
LeanPool.Stafford38.Stafford38.Geometry.CompletedDVRPowerSeriesEquiv
LeanPool.Stafford38.Stafford38.Geometry.ComponentFunctionFieldBoundary
LeanPool.Stafford38.Stafford38.Geometry.ComponentProjectiveClosure
LeanPool.Stafford38.Stafford38.Geometry.ComponentProjectiveClosureNormalization
LeanPool.Stafford38.Stafford38.Geometry.ComponentProjectiveOrder
LeanPool.Stafford38.Stafford38.Geometry.ConormalAxisContradiction
LeanPool.Stafford38.Stafford38.Geometry.ConormalPrincipalOpenDensity
LeanPool.Stafford38.Stafford38.Geometry.ConormalScalarExtensionVanishing
LeanPool.Stafford38.Stafford38.Geometry.ConstantCoordinateConormal
LeanPool.Stafford38.Stafford38.Geometry.ContinuousPowerSeriesTangentFrame
LeanPool.Stafford38.Stafford38.Geometry.DivisorTangentLattice
LeanPool.Stafford38.Stafford38.Geometry.DivisorialBoundaryExtension
LeanPool.Stafford38.Stafford38.Geometry.DivisorialVisibleFrameCore
LeanPool.Stafford38.Stafford38.Geometry.DivisorialVisibleFrameStage2
LeanPool.Stafford38.Stafford38.Geometry.DivisorialVisibleFrameStage4
LeanPool.Stafford38.Stafford38.Geometry.DivisorialVisibleFrameStage5
LeanPool.Stafford38.Stafford38.Geometry.DivisorialVisibleFrameStageAssembly
LeanPool.Stafford38.Stafford38.Geometry.ExactDivisorialVisibleFrameExistence
LeanPool.Stafford38.Stafford38.Geometry.ExactVisibleDivisorFrameInterface
LeanPool.Stafford38.Stafford38.Geometry.FibreConicalVanishingIdeal
LeanPool.Stafford38.Stafford38.Geometry.FiniteGradientBoundaryProducer
LeanPool.Stafford38.Stafford38.Geometry.FiniteGradientFromTangentInclusion
LeanPool.Stafford38.Stafford38.Geometry.FiniteGradientResidueExtension
LeanPool.Stafford38.Stafford38.Geometry.FiniteSeparableDVRChartFoundation
LeanPool.Stafford38.Stafford38.Geometry.FixedWitnessTangentSqueeze
LeanPool.Stafford38.Stafford38.Geometry.FormalDivisorAxisLift
LeanPool.Stafford38.Stafford38.Geometry.FormalDivisorLaurentConormal
LeanPool.Stafford38.Stafford38.Geometry.FormalDivisorTangent
LeanPool.Stafford38.Stafford38.Geometry.GeneralAsymptoticConormal
LeanPool.Stafford38.Stafford38.Geometry.GeneralAsymptoticLaurentAxis
LeanPool.Stafford38.Stafford38.Geometry.GeneralCoisotropicCanonicalAdapter
LeanPool.Stafford38.Stafford38.Geometry.GeneralCoisotropicExclusion
LeanPool.Stafford38.Stafford38.Geometry.GeneralCoisotropicSets
LeanPool.Stafford38.Stafford38.Geometry.GeneralCoisotropicSetsTest
LeanPool.Stafford38.Stafford38.Geometry.GeneralComponentConormalContainment
LeanPool.Stafford38.Stafford38.Geometry.GeneralConormalAxis
LeanPool.Stafford38.Stafford38.Geometry.GeneralConormalContainment
LeanPool.Stafford38.Stafford38.Geometry.GeneralConstantCoordinateAxis
LeanPool.Stafford38.Stafford38.Geometry.GeneralCoordinateAvoidance
LeanPool.Stafford38.Stafford38.Geometry.GeneralDivisorialVisibleFrame
LeanPool.Stafford38.Stafford38.Geometry.GeneralTangentLatticePresentation
LeanPool.Stafford38.Stafford38.Geometry.GeneralTangentLimitCriterion
LeanPool.Stafford38.Stafford38.Geometry.GeneralTangentLimitCriterionTest
LeanPool.Stafford38.Stafford38.Geometry.GenericPointKaehlerConormal
LeanPool.Stafford38.Stafford38.Geometry.GenericSmoothOpen
LeanPool.Stafford38.Stafford38.Geometry.JacobianConormalComparison
LeanPool.Stafford38.Stafford38.Geometry.KaehlerDVRVisibility
LeanPool.Stafford38.Stafford38.Geometry.KaehlerSpanSeparableAdjoin
LeanPool.Stafford38.Stafford38.Geometry.KaehlerVisibleDerivationFrame
LeanPool.Stafford38.Stafford38.Geometry.LaurentConormalDirection
LeanPool.Stafford38.Stafford38.Geometry.LaurentConormalResidueExtension
LeanPool.Stafford38.Stafford38.Geometry.LocalizedProjectiveChartTransition
LeanPool.Stafford38.Stafford38.Geometry.NormalizationHeightOne
LeanPool.Stafford38.Stafford38.Geometry.OneVariableAmbientConormal
LeanPool.Stafford38.Stafford38.Geometry.OneVariablePrimeConormal
LeanPool.Stafford38.Stafford38.Geometry.PointwiseConormalContainment
LeanPool.Stafford38.Stafford38.Geometry.PowerSeriesArcTangency
LeanPool.Stafford38.Stafford38.Geometry.PowerSeriesTangentLimit
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveBoundaryFrameRank
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveConormalDehomogenization
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveConormalDirections
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveDivisorOrderGap
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveEquationFormalChart
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveTangentInclusion
LeanPool.Stafford38.Stafford38.Geometry.ProjectiveValuationNormalization
LeanPool.Stafford38.Stafford38.Geometry.RelativeCoefficientDVRPlace
LeanPool.Stafford38.Stafford38.Geometry.RelativeDivisorialTower
LeanPool.Stafford38.Stafford38.Geometry.RelativeFractionFieldTransport
LeanPool.Stafford38.Stafford38.Geometry.RelativeRetainedBoundaryPlace
LeanPool.Stafford38.Stafford38.Geometry.ResidueMinorSelection
LeanPool.Stafford38.Stafford38.Geometry.RetainedComponentEquationPackage
LeanPool.Stafford38.Stafford38.Geometry.RetainedDVRCore
LeanPool.Stafford38.Stafford38.Geometry.RetainedDVRPlace
LeanPool.Stafford38.Stafford38.Geometry.RetainedGroundMapIdentification
LeanPool.Stafford38.Stafford38.Geometry.RetainedPlaceConormalTransport
LeanPool.Stafford38.Stafford38.Geometry.RetainedProjectiveCompletion
LeanPool.Stafford38.Stafford38.Geometry.RetractionSpecialization
LeanPool.Stafford38.Stafford38.Geometry.ScalarExtensionPoints
LeanPool.Stafford38.Stafford38.Geometry.SeparableResidueDerivationExtension
LeanPool.Stafford38.Stafford38.Geometry.SmoothAffineConormal
LeanPool.Stafford38.Stafford38.Geometry.SmoothConormalFibreVanishing
LeanPool.Stafford38.Stafford38.Geometry.SplitTangentMatrix
LeanPool.Stafford38.Stafford38.Ore.CoordinateStage
LeanPool.Stafford38.Stafford38.Ore.IteratedPairStage
LeanPool.Stafford38.Stafford38.Ore.LinearNormalForm
LeanPool.Stafford38.Stafford38.Ore.PairStage
LeanPool.Stafford38.Stafford38.Ore.PairUniversal
LeanPool.Stafford38.Stafford38.Ore.ScalarAlgebra
LeanPool.Stafford38.Stafford38.Quotient.EulerSurjectivity
LeanPool.Stafford38.Stafford38.Weyl.AssociatedGraded
LeanPool.Stafford38.Stafford38.Weyl.CommutatorSymbol
LeanPool.Stafford38.Stafford38.Weyl.CoordinateCommutatorSymbol
LeanPool.Stafford38.Stafford38.Weyl.EulerRemainder
LeanPool.Stafford38.Stafford38.Weyl.EulerResidue
LeanPool.Stafford38.Stafford38.Weyl.EulerSubring
LeanPool.Stafford38.Stafford38.Weyl.FilteredCommutator
LeanPool.Stafford38.Stafford38.Weyl.FilteredScalarLifting
LeanPool.Stafford38.Stafford38.Weyl.Filtration
LeanPool.Stafford38.Stafford38.Weyl.GradedAlgebra
LeanPool.Stafford38.Stafford38.Weyl.IteratedEquivalence
LeanPool.Stafford38.Stafford38.Weyl.LeadingSymbol
LeanPool.Stafford38.Stafford38.Weyl.MonicNormalization
LeanPool.Stafford38.Stafford38.Weyl.OrderRees
LeanPool.Stafford38.Stafford38.Weyl.OuterOreMonic
LeanPool.Stafford38.Stafford38.Weyl.PBW
LeanPool.Stafford38.Stafford38.Weyl.PBWFirstContraction
LeanPool.Stafford38.Stafford38.Weyl.PBWMonicBridge
LeanPool.Stafford38.Stafford38.Weyl.PresentedScalarExtension
LeanPool.Stafford38.Stafford38.Weyl.QuotientTransport
LeanPool.Stafford38.Stafford38.Weyl.SymbolCompatibility
LeanPool.Stafford38.Stafford38.Weyl.Symplectic
LeanPool.Stafford38.Stafford38.Weyl.Transposition
LeanPool.Stafford38.Stafford38.Weyl.TranspositionFiltration
LeanPool.Stafford38.Stafford38.Weyl.Universal

Imported by