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