P
Initializing...
Lemma 2.1 — obtuse-angle property and firm nonexpansiveness of the projection · Prove2Me