Theorem AlgebraicGeometry.AffineSpace.of_mvPolynomial_int_ext

Modification history

2024-11-16 06:58
Mathlib/AlgebraicGeometry/AffineSpace.lean
feat(AlgebraicGeometry): define affine `n`-space (#18837)
Added AlgebraicGeometry.AffineSpace.of_mvPolynomial_int_extView on Github →