P
Initializing...
Bailleul-Riblet Lemma 2.3: compression by a real rotation parameter · Prove2Me