`BookProof.ChapterWeylSl2.Sl2Rep.IsInv.inf` {R : Sl2Rep V} {U W : Submodule ℂ V} (hU : R.IsInv U) (hW : R.IsInv W) : R.IsInv (U ⊓ W)

Initializing...

`BookProof.ChapterWeylSl2.Sl2Rep.IsInv.inf` {R : Sl2Rep V} {U W : Submodule ℂ V} (hU : R.IsInv U) (hW : R.IsInv W) : R.IsInv (U ⊓ W) · Prove2Me