Def polyEquivTensor'

Modification history

2025-01-13 10:02

Mathlib/RingTheory/PolynomialAlgebra.lean

feat: the localization of `R[X]` at `S` is the polynomial ring over the localization of `R` at `S` (#20070) …

Added polyEquivTensor'View on Github →