`BookProof.ChapterA.Jmap_isRImaginary` [CompleteSpace V] (M : System ℂ V) : IsRImaginary (rxSystem M) Jmap

Initializing...

`BookProof.ChapterA.Jmap_isRImaginary` [CompleteSpace V] (M : System ℂ V) : IsRImaginary (rxSystem M) Jmap · Prove2Me