Def AlgebraicGeometry.AffineSpace.homOverEquiv

Modification history

2026-06-03 16:18
Mathlib/AlgebraicGeometry/AffineSpace.lean
feat(AlgebraicGeometry/AffineSpace): affine space over an integral base is integral (#39665) …
Modified AlgebraicGeometry.AffineSpace.homOverEquivView on Github →
2024-11-16 06:58
Mathlib/AlgebraicGeometry/AffineSpace.lean
feat(AlgebraicGeometry): define affine `n`-space (#18837)
Added AlgebraicGeometry.AffineSpace.homOverEquivView on Github →