Theorem MvPolynomial.comap_C_surjective

Modification history

2025-01-20 16:09

Mathlib/RingTheory/Spectrum/Prime/Polynomial.lean

feat(AlgebraicGeometry): Instances regarding affine spaces (#20314)

Added MvPolynomial.comap_C_surjective View on Github →