`BookProof.ChapterA.JY_isClosed` {Y : Submodule ℝ V} (hY : IsClosed (Y : Set V)) : IsClosed ((JY Y : Submodule ℝ V) : Set V)

Initializing...

`BookProof.ChapterA.JY_isClosed` {Y : Submodule ℝ V} (hY : IsClosed (Y : Set V)) : IsClosed ((JY Y : Submodule ℝ V) : Set V) · Prove2Me