`BookProof.ChapterWeylSl2.Sl2Rep.pow_succ_apply` (T : Module.End ℂ V) (k : ℕ) (v : V) : (T ^ (k + 1)) v = T ((T ^ k) v)

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.pow_succ_apply` (T : Module.End ℂ V) (k : ℕ) (v : V) : (T ^ (k + 1)) v = T ((T ^ k) v) · Prove2Me