`BookProof.ChapterF7.anticomm_l2Symmetric` {K V : 𝓢(ℝ, ℂ) →L[ℂ] 𝓢(ℝ, ℂ)} (hK : IsL2Symmetric K) (hV : IsL2Symmetric V) : IsL2Symmetric (K.comp V + V.comp K)

Initializing...

`BookProof.ChapterF7.anticomm_l2Symmetric` {K V : 𝓢(ℝ, ℂ) →L[ℂ] 𝓢(ℝ, ℂ)} (hK : IsL2Symmetric K) (hV : IsL2Symmetric V) : IsL2Symmetric (K.comp V + V.comp K) · Prove2Me