P
Initializing...
Lemma 2, p. 9 — finite resolvent expansion with exact remainder · Prove2Me