Def Polynomial.algebra

Modification history

2025-02-11 17:21

Mathlib/RingTheory/PolynomialAlgebra.lean

chore(RingTheory/Algebraic): remove unnecessary injectivity assumptions (#21566) …

Modified Polynomial.algebra View on Github →

2025-02-04 06:00

Mathlib/RingTheory/PolynomialAlgebra.lean

feat(AlgebraicGeometry): integral = universally closed + affine (#19419) …

Added Polynomial.algebra View on Github →