`BookProof.Complexification.cxConj_isConjugation` [CompleteSpace W] (M : System ℝ W) : IsConjugation (cxSystem M) Cx.cxConj

Initializing...

`BookProof.Complexification.cxConj_isConjugation` [CompleteSpace W] (M : System ℝ W) : IsConjugation (cxSystem M) Cx.cxConj · Prove2Me