Theorem coe_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 coe_polyEquivTensor'View on Github →