`BookProof.ChapterWeylSL2Unipotent.expSum_pow_eq_zero` {A : Module.End ℂ V} {N m : ℕ} (hnil : A ^ N = 0) (hNm : N ≤ m) : A ^ m = 0

Initializing...

`BookProof.ChapterWeylSL2Unipotent.expSum_pow_eq_zero` {A : Module.End ℂ V} {N m : ℕ} (hnil : A ^ N = 0) (hNm : N ≤ m) : A ^ m = 0 · Prove2Me