`BookProof.ChapterWeylSl2.Sl2Rep.isInv_scalarOps` {R : Sl2Rep V} {W : Submodule ℂ V} (hW : R.IsInv W) : (adRep R).IsInv (scalarOps W)

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.isInv_scalarOps` {R : Sl2Rep V} {W : Submodule ℂ V} (hW : R.IsInv W) : (adRep R).IsInv (scalarOps W) · Prove2Me