{S T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (hS : PolySym S) (hT : PolySym T) : PolyAdj (S.comp T) (T.comp S)

Initializing...

{S T : Module.End ℂ (MvPolynomial (Fin d) ℂ)} (hS : PolySym S) (hT : PolySym T) : PolyAdj (S.comp T) (T.comp S) · Prove2Me