Def AlgebraicGeometry.AffineSpace

Modification history

2024-11-16 06:58

Mathlib/AlgebraicGeometry/AffineSpace.lean

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

Added AlgebraicGeometry.AffineSpace View on Github →