P
Initializing...
`BookProof.ChapterF7.i_comm_l2Symmetric` {K V : π’(β, β) βL[β] π’(β, β)} (hK : IsL2Symmetric K) (hV : IsL2Symmetric V) : IsL2Symmetric (Complex.I β’ (K.comp V - V.comp K)) Β· Prove2Me