`BookProof.ChapterWeylSl2.Sl2Rep.isInv_ker_cas` (R : Sl2Rep V) : R.IsInv (LinearMap.ker R.cas)

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.isInv_ker_cas` (R : Sl2Rep V) : R.IsInv (LinearMap.ker R.cas) · Prove2Me