Def AlgebraicGeometry.AffineSpace.map

Modification history

2024-11-16 06:58

Mathlib/AlgebraicGeometry/AffineSpace.lean

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

Added AlgebraicGeometry.AffineSpace.map View on Github →