Theorem MvPolynomial.isLocalization_C_mk'

Modification history

2024-06-25 00:00
Mathlib/RingTheory/MvPolynomial/Localization.lean
feat(RingTheory/MvPolynomial): multivariate polynomials preserve localization (#14055) …
Added MvPolynomial.isLocalization_C_mk'View on Github →