P
Initializing...
Normalise a spindle so the apices are $\pm e_d$ · Prove2Me