{S T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (h : PolyAdj S T) (h' : PolyAdj T S) : PolySym (S + T)

Initializing...

{S T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (h : PolyAdj S T) (h' : PolyAdj T S) : PolySym (S + T) · Prove2Me