`BookProof.HermiteBandHigher.IsBand2.isBandDeg_two` {T : MvPolynomial (Fin d) ℂ →ₗ[ℂ] MvPolynomial (Fin d) ℂ} (h : IsBand2 T) : IsBandDeg 2 T

Initializing...

`BookProof.HermiteBandHigher.IsBand2.isBandDeg_two` {T : MvPolynomial (Fin d) ℂ →ₗ[ℂ] MvPolynomial (Fin d) ℂ} (h : IsBand2 T) : IsBandDeg 2 T · Prove2Me