Def AlgebraicGeometry.AffineSpace.coord

Modification history

2024-11-16 06:58

Mathlib/AlgebraicGeometry/AffineSpace.lean

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

Added AlgebraicGeometry.AffineSpace.coord View on Github →