Theorem MvPolynomial.algebraTensorAlgEquiv_symm_comp_aeval

Modification history

2025-10-07 08:33
Mathlib/RingTheory/TensorProduct/MvPolynomial.lean
feat(RingTheory/Presentation): core of a presentation (#24794) …
Added MvPolynomial.algebraTensorAlgEquiv_symm_comp_aevalView on Github →