OAI/NumberTheory/PiExponent/Jets/
583 declarations, 0 contain sorry, 0 declared as axioms; 63 files
Files
- AdmissibleJetPackets.lean 3 declarations
- AdmissibleJetSurjectivity.lean 2 declarations
- AffineJetCoefficientFrame.lean 6 declarations
- AffineJetCoefficientInterface.lean 4 declarations
- AffineJetFramedPackets.lean 1 declarations
- AffineJetPackets.lean 3 declarations
- AffineJetPolynomial.lean 3 declarations
- AffineJetQuotient.lean 7 declarations
- AffineJetSupport.lean 10 declarations
- AlgebraicJetPackets.lean 22 declarations
- AuxiliaryJetMap.lean 6 declarations
- BranchContact.lean 13 declarations
- BranchContactIdeal.lean 6 declarations
- CommutingTaylor.lean 26 declarations
- CompactJetIdeal.lean 7 declarations
- CompactJetIdealCoherent.lean 2 declarations
- CompactJetPolynomial.lean 20 declarations
- CompactLogJetIdeal.lean 17 declarations
- ConormalPairing.lean 5 declarations
- CotangentGeneration.lean 3 declarations
- DVRBranch.lean 11 declarations
- DVRBranchExpansion.lean 25 declarations
- DVRBranchJet.lean 8 declarations
- DVRBranchOrder.lean 10 declarations
- DerivativeIdeals.lean 17 declarations
- DifferentialConstant.lean 2 declarations
- FilteredLength.lean 7 declarations
- FormalAuxiliaryJet.lean 3 declarations
- FormalBranchContact.lean 3 declarations
- FormalBranchCoordinates.lean 5 declarations
- FormalBranchEvaluation.lean 6 declarations
- FormalBranchOrder.lean 9 declarations
- FormalBranchOrderRational.lean 6 declarations
- FormalJetDerivatives.lean 8 declarations
- FormalJetIndices.lean 6 declarations
- FormalLogJet.lean 17 declarations
- FrameTransverseMultiplicity.lean 10 declarations
- GradedGeneration.lean 8 declarations
- IntrinsicLength.lean 7 declarations
- JetCenterIdentification.lean 1 declarations
- JetGeometry.lean 23 declarations
- JetPowerIdealCoprime.lean 4 declarations
- JetProductLocalization.lean 9 declarations
- KoszulTopDifferential.lean 7 declarations
- NormalBasisProducts.lean 7 declarations
- NormalBasisRigidity.lean 11 declarations
- NormalFrameBasis.lean 10 declarations
- OrdinaryAuxiliaryJet.lean 5 declarations
- OrdinaryBranchEvaluation.lean 5 declarations
- OrdinaryDVRBranchJet.lean 9 declarations
- OrdinaryDerivativeIdeals.lean 15 declarations
- OrdinaryJetDerivatives.lean 3 declarations
- OrdinaryTaylor.lean 14 declarations
- PolynomialJetPackets.lean 2 declarations
- PolynomialTangentDifferential.lean 16 declarations
- PrimeNormalCotangent.lean 15 declarations
- PrimeTaylorCotangent.lean 3 declarations
- RectangularCotangent.lean 15 declarations
- ResidueConormalPairing.lean 9 declarations
- TaylorRectangular.lean 17 declarations
- TransverseMultiplicity.lean 39 declarations
- TransverseSliceComparison.lean 5 declarations
- TransverseWeightedMultiplicity.lean 5 declarations