OAI/AlgebraicGeometry/Seshadri/Bertini/
200 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- CountableSpecialization.lean 11 declarations
- CriticalLocus.lean 20 declarations
- Derivations.lean 16 declarations
- Descent.lean 12 declarations
- DifferentialFrames.lean 16 declarations
- EtaleCoordinates.lean 19 declarations
- GenericHyperplanes.lean 26 declarations
- GenericSmoothness.lean 9 declarations
- GeometricDomains.lean 13 declarations
- HyperplaneFamilies.lean 6 declarations
- IntegralSubschemes.lean 7 declarations
- LinearFamilies.lean 17 declarations
- LinearForms.lean 17 declarations
- SimultaneousHyperplanes.lean 11 declarations