`BookProof.HermiteBandHigher.isBandDeg1_mulXPoly` (i : Fin d) : IsBandDeg 1 (mulXPoly i)

Initializing...

`BookProof.HermiteBandHigher.isBandDeg1_mulXPoly` (i : Fin d) : IsBandDeg 1 (mulXPoly i) · Prove2Me