`BookProof.ChapterA.conjFixed_isClosed` (θ : AntiUnitary V) : IsClosed ((conjFixed θ : Submodule ℝ V) : Set V)

Initializing...

`BookProof.ChapterA.conjFixed_isClosed` (θ : AntiUnitary V) : IsClosed ((conjFixed θ : Submodule ℝ V) : Set V) · Prove2Me