OAI/Geometry/HypersurfaceGerms/
604 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Construction.lean 2 declarations
- CriticalBounds.lean 30 declarations
- Differentials.lean 44 declarations
- Germs.lean 18 declarations
- InnerGeometry.lean 77 declarations
- Jets.lean 19 declarations
- Main.lean 2 imports, no declarations
- Meridian.lean 60 declarations
- Orders.lean 30 declarations
- Parameters.lean 16 declarations
- PlaneIsolation.lean 82 declarations
- Preparation.lean 132 declarations
- Reducedness.lean 8 declarations
- RelativeChains.lean 21 declarations
- RootBounds.lean 7 declarations
- RootPages.lean 58 declarations