`BookProof.ChapterWeylSl2.Sl2Rep.cas_highestWeight` {R : Sl2Rep V} {w : V} {lam : ℂ} (hE : R.E w = 0) (h : R.H w = lam • w) : R.cas w = (lam ^ 2 + 2 * lam) • w

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.cas_highestWeight` {R : Sl2Rep V} {w : V} {lam : ℂ} (hE : R.E w = 0) (h : R.H w = lam • w) : R.cas w = (lam ^ 2 + 2 * lam) • w · Prove2Me