OAI/AlgebraicGeometry/AbhyankarSathaye/
241 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Counterexample.lean 2 declarations
- CriticalPoint.lean 14 declarations
- Fiber.lean 11 declarations
- FiberFormulas.lean 22 declarations
- Identities.lean 22 declarations
- Lifting.lean 20 declarations
- LiftingIdentities.lean 13 declarations
- LinearElimination.lean 2 declarations
- LinearPresentation.lean 22 declarations
- NonCoordinate.lean 3 declarations
- Plane.lean 26 declarations
- Presentation.lean 41 declarations
- Quotient.lean 13 declarations
- Reconstruction.lean 13 declarations
- Stabilization.lean 17 declarations