P
Initializing...
The descended inclusion of the disk classes is injective, by Goldsmith (Lemma 3.2) · Prove2Me