P

Initializing...

Polar-angle criterion for winding above one in $SL(2,\mathbb{R})$ · Prove2Me