All.lean
Nyll.AlgebraicCurves.Geometry.Deformation.All
0 declarations indexed from sourceView source ↗
Imports10
- Nyll.AlgebraicCurves.Geometry.Deformation.Scheme_exists_tangentPoints_equiv_linearMap_cotangentSpace
- Nyll.AlgebraicCurves.Geometry.Deformation.SmallExtension_IsFibreReading_appLE_of_comp_eq
- Nyll.AlgebraicCurves.Geometry.Deformation.SmallExtension_IsFibreReading_eq_of_isFibreReading_of_flat
- Nyll.AlgebraicCurves.Geometry.Deformation.SmallExtension_IsFibreReading_eq_zero_of_isFibreReading_zero_of_flat
- Nyll.AlgebraicCurves.Geometry.Deformation.SmallExtension_exists_mem_map_range_and_isFibreReading_of_isAffineOpen
- Nyll.AlgebraicCurves.Geometry.Deformation.SmallExtension_isFibreReading_zero_add_mul_neg_restrict_and_exists_isFibreReading
- Nyll.AlgebraicCurves.Geometry.Deformation.smoothOfRelativeDimension_of_finrank_cotangentSpace_eq
- Nyll.AlgebraicCurves.Geometry.Deformation.RigKerDualNumber
- Nyll.AlgebraicCurves.Geometry.Deformation.RigKerDualNumberBaseTransport
- Nyll.AlgebraicCurves.Geometry.Deformation.SquareZeroDeformation
Imported by1
This module has no indexed declarations. Its imports and full source are available here.