Def AlgebraicGeometry.AffineSpace

Modification history

2026-06-01 14:37

Mathlib/AlgebraicGeometry/AffineSpace.lean

perf(AlgebraicGeometry): specialize index type in `AffineSpace` to `Type u` (#39970) …

Modified AlgebraicGeometry.AffineSpace View on Github →

2024-11-16 06:58

Mathlib/AlgebraicGeometry/AffineSpace.lean

feat(AlgebraicGeometry): define affine `n`-space (#18837)

Added AlgebraicGeometry.AffineSpace View on Github →