P
Initializing...
The kernel of the descended loop-reading map lies in the normal closure of the disk classes (Lemma 3.4) · Prove2Me