∫ Утверждение Mathlib
aeval_id_rename
Mathlib.Algebra.MvPolynomial.Monad
URI: https://scilib.ai/kg/mathlib#MvPolynomial.aeval_id_rename
∫ Утверждение Mathlib
Mathlib.Algebra.MvPolynomial.Monad
URI: https://scilib.ai/kg/mathlib#MvPolynomial.aeval_id_rename