P
Initializing...
`BookProof.HermiteBandHigher.isBandDeg1_crePoly` (i : Fin d) : IsBandDeg 1 (crePoly i) · Prove2Me