OAI/Algebra/Determinantal/
1494 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- AdjugateNormalForm.lean 82 declarations
- AffineSelectors.lean 48 declarations
- AmbientCoefficient.lean 5 declarations
- AmbientMain.lean 1 declarations
- AmbientMixedCount.lean 2 declarations
- AmbientNumerical.lean 1 declarations
- AmbientOperators.lean 6 declarations
- AmbientPersistence.lean 3 declarations
- BilinearCounts.lean 27 declarations
- BorderClosure.lean 1 declarations
- BorderPolars.lean 26 declarations
- BranchConductor.lean 24 declarations
- Centralizers.lean 37 declarations
- ConditionalBound.lean 30 declarations
- ConductorBounds.lean 14 declarations
- ConductorDimension.lean 38 declarations
- ConductorDuality.lean 25 declarations
- ConductorLocalization.lean 26 declarations
- CoordinateFields.lean 15 declarations
- CurveParameters.lean 40 declarations
- DegreeBounds.lean 26 declarations
- DeterminantFields.lean 12 declarations
- FiberDimension.lean 18 declarations
- FilteredPlane.lean 43 declarations
- GateCoefficients.lean 32 declarations
- Gates.lean 47 declarations
- GenericPolars.lean 33 declarations
- Gradients.lean 42 declarations
- HalfPolynomials.lean 19 declarations
- HomogeneousPadding.lean 33 declarations
- InitialForm.lean 11 declarations
- KernelCharts.lean 51 declarations
- LinearForms.lean 35 declarations
- LocalDerivations.lean 16 declarations
- Main.lean 24 declarations
- Model.lean 25 declarations
- Monogenic.lean 24 declarations
- Multigraded.lean 30 declarations
- Nilpotents.lean 31 declarations
- Normalization.lean 24 declarations
- PencilSeparability.lean 10 declarations
- PlaneHilbert.lean 29 declarations
- PointBounds.lean 16 declarations
- ProjectiveCounts.lean 16 declarations
- PunctualCharts.lean 26 declarations
- QuotientFields.lean 32 declarations
- RankTransfer.lean 28 declarations
- RegularSections.lean 39 declarations
- RowIdeals.lean 39 declarations
- SchurDifferentials.lean 29 declarations
- SchurLifts.lean 30 declarations
- Selector.lean 37 declarations
- SingularValues.lean 24 declarations
- SliceCertificates.lean 34 declarations
- SmoothSlices.lean 32 declarations
- Transcendence.lean 25 declarations
- WildParameters.lean 21 declarations