Theorem MvPolynomial.algebraTensorAlgEquiv_tmul

Modification history

2024-06-12 10:07
Mathlib/RingTheory/TensorProduct/MvPolynomial.lean
feat(RingTheory): finite type and finite presentation are stable under base change (#13696)
Added MvPolynomial.algebraTensorAlgEquiv_tmulView on Github →