{t : ℝ} {T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (hT : PolySym T) : PolySym (((t : ℂ)) • T)

Initializing...

{t : ℝ} {T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (hT : PolySym T) : PolySym (((t : ℂ)) • T) · Prove2Me