Def AlgebraicGeometry.AffineSpace.toSpecMvPoly

Modification history

2025-01-20 16:09

Mathlib/AlgebraicGeometry/AffineSpace.lean

feat(AlgebraicGeometry): Instances regarding affine spaces (#20314)

Modified AlgebraicGeometry.AffineSpace.toSpecMvPoly View on Github →

2024-11-16 06:58

Mathlib/AlgebraicGeometry/AffineSpace.lean

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

Added AlgebraicGeometry.AffineSpace.toSpecMvPoly View on Github →