P
Initializing...
Lemma 3.14 — the interval of admissible shifts (3.10) · Prove2Me