OAI/AlgebraicGeometry/CommutingDerivations/
238 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- CoefficientInstances.lean 2 declarations
- ConcreteKernelIntersection.lean 5 declarations
- CoordinatePartials.lean 7 declarations
- DenominatorDescent.lean 3 declarations
- DerivationOperations.lean 16 declarations
- DescentFamily.lean 5 declarations
- ExtendedExtraPartials.lean 5 declarations
- ExtendedKernelIntersection.lean 4 declarations
- ExtendedLocalization.lean 13 declarations
- ExtendedParameterRetraction.lean 12 declarations
- FamilyFromLocalization.lean 1 declarations
- KernelObstruction.lean 4 declarations
- LocalizationEquivalence.lean 37 declarations
- LocalizationSetup.lean 26 declarations
- LocalizedPartials.lean 8 declarations
- Main.lean 3 declarations
- MixedDescentFamily.lean 3 declarations
- OrdinaryExtraMain.lean 3 declarations
- ParameterBezout.lean 8 declarations
- ParameterBridge.lean 62 declarations
- ParameterRetraction.lean 11 declarations