`BookProof.StrichartzWave.opL2_add` (T S : 𝓢(V, ℂ) →L[ℂ] 𝓢(V, ℂ)) : opL2 (T + S) = opL2 T + opL2 S

Initializing...

`BookProof.StrichartzWave.opL2_add` (T S : 𝓢(V, ℂ) →L[ℂ] 𝓢(V, ℂ)) : opL2 (T + S) = opL2 T + opL2 S · Prove2Me