Theorem MvPolynomial.algebraTensorAlgEquiv_symm_X

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_symm_XView on Github →