OAI/Algebra/AffineCancellation/

Files

• BezoutFrame.lean 1 declarations
• Bundle.lean 47 declarations
• BundleGrading.lean 8 declarations
• Clearing.lean 4 declarations
• Cylinder.lean 31 declarations
• CylinderMaps.lean 15 declarations
• CylinderShift.lean 44 declarations
• Degeneration.lean 54 declarations
• DegenerationGrading.lean 9 declarations
• Determinant.lean 35 declarations
• DeterminantRigidity.lean 53 declarations
• DifferentialSlice.lean 5 declarations
• Dimension.lean 5 declarations
• EquivariantLift.lean 1 declarations
• Extraction.lean 14 declarations
• FactorDerivation.lean 7 declarations
• FractionDerivation.lean 9 declarations
• GradedCommutation.lean 2 declarations
• GradedLND.lean 29 declarations
• GradedMap.lean 3 declarations
• HighestWeight.lean 1 declarations
• HomogeneousExtraction.lean 6 declarations
• Intertwining.lean 2 declarations
• InvariantRestriction.lean 2 declarations
• Kernel.lean 8 declarations
• LaurentDerivation.lean 9 declarations
• LaurentEuler.lean 9 declarations
• Main.lean 2 declarations
• Model.lean 10 declarations
• Modification.lean 25 declarations
• ModificationGrading.lean 20 declarations
• Orbit.lean 19 declarations
• OrbitRigidity.lean 1 declarations
• Order.lean 7 declarations
• PolynomialDerivation.lean 14 declarations
• PolynomialSlice.lean 19 declarations
• PositiveInvariant.lean 11 declarations
• PositiveObstruction.lean 5 declarations
• Primitive.lean 3 declarations
• Quadric.lean 31 declarations
• QuotientDerivation.lean 7 declarations
• QuotientGrading.lean 13 declarations
• RationalSlice.lean 5 declarations
• Rees.lean 34 declarations
• ReesClearing.lean 6 declarations
• ReesDerivation.lean 11 declarations
• ReesGrading.lean 14 declarations
• ReesReduction.lean 18 declarations
• RelativeClearing.lean 5 declarations
• ReplicaLift.lean 16 declarations
• Rigidity.lean 6 declarations
• TorsorClearing.lean 5 declarations
• TorsorEuler.lean 6 declarations
• TorsorFrame.lean 30 declarations
• TorsorInverse.lean 27 declarations