OAI/Algebra/FiniteTensor/
1072 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- AdicSystems.lean 19 declarations
- AlgebraicDescent.lean 13 declarations
- ArtinCoefficients.lean 27 declarations
- ArtinSteps.lean 5 declarations
- BoxCoefficients.lean 27 declarations
- ChartPairings.lean 20 declarations
- ClosedSpecialization.lean 5 declarations
- CoefficientDescent.lean 6 declarations
- CohomologyReduction.lean 28 declarations
- CompatibleCharts.lean 17 declarations
- ComplementaryGraphs.lean 12 declarations
- CoordinateEquivalences.lean 21 declarations
- DeformedCycles.lean 13 declarations
- DeformedGraphs.lean 13 declarations
- ExteriorForms.lean 44 declarations
- FiniteCharts.lean 47 declarations
- FiniteObstruction.lean 8 declarations
- FormBaseChange.lean 29 declarations
- FormReindexing.lean 36 declarations
- FormalEvaluation.lean 18 declarations
- FrobeniusQuotient.lean 20 declarations
- GermBranches.lean 17 declarations
- JacobianAlgebraicity.lean 16 declarations
- JetSolutions.lean 29 declarations
- JetSystems.lean 37 declarations
- JetTopology.lean 21 declarations
- KernelRelations.lean 9 declarations
- KoszulForms.lean 18 declarations
- LinearCharts.lean 29 declarations
- Main.lean 1 import, no declarations
- MinorReduction.lean 8 declarations
- MovingCoordinates.lean 42 declarations
- NilpotentRoots.lean 27 declarations
- NilpotentSubstitution.lean 41 declarations
- NormalResidues.lean 7 declarations
- OddTensors.lean 12 declarations
- OffsetEquations.lean 30 declarations
- PolynomialApproximation.lean 7 declarations
- PositiveObstruction.lean 20 declarations
- PreparedApproximation.lean 7 declarations
- PreparedCoefficients.lean 2 declarations
- RelativeDerivatives.lean 22 declarations
- RelativeKoszul.lean 17 declarations
- ScalarModels.lean 27 declarations
- SeparatedForms.lean 15 declarations
- SquarefreeParameters.lean 32 declarations
- TensorApproximation.lean 7 declarations
- TensorCoordinates.lean 26 declarations
- TensorForms.lean 21 declarations
- TensorKernels.lean 35 declarations
- TensorResidues.lean 38 declarations
- WeierstrassConstraints.lean 25 declarations