Theorem coe_polyEquivTensor'_symm

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'_symmView on Github →