If `D` is injective and `pi ^ k • W ⊆ range D`, then there is a linear map `Q` with `D ∘ Q = pi ^ k • id` and `Q ∘ D = pi ^ k • id`.

Initializing...

If `D` is injective and `pi ^ k • W ⊆ range D`, then there is a linear map `Q` with `D ∘ Q = pi ^ k • id` and `Q ∘ D = pi ^ k • id`. · Prove2Me