`BookProof.Complexification.Cx.cxConj_comm_cxMap` (m : W →L[ℝ] W) (x : Cx W) : cxConj (cxMap m x) = cxMap m (cxConj x)

Initializing...

`BookProof.Complexification.Cx.cxConj_comm_cxMap` (m : W →L[ℝ] W) (x : Cx W) : cxConj (cxMap m x) = cxMap m (cxConj x) · Prove2Me