P
Initializing...
`BookProof.HermiteBandHigher.isBandR1_mulXPoly` (i : Fin d) : IsBandR 1 1 (mulXPoly i) · Prove2Me