`BookProof.ChapterF7.smul_l2Symmetric` {c : ℂ} (hc : (starRingEnd ℂ) c = c) {T : 𝓢(ℝ, ℂ) →L[ℂ] 𝓢(ℝ, ℂ)} (hT : IsL2Symmetric T) : IsL2Symmetric (c • T)

Initializing...

`BookProof.ChapterF7.smul_l2Symmetric` {c : ℂ} (hc : (starRingEnd ℂ) c = c) {T : 𝓢(ℝ, ℂ) →L[ℂ] 𝓢(ℝ, ℂ)} (hT : IsL2Symmetric T) : IsL2Symmetric (c • T) · Prove2Me