P
Initializing...
Finite Fixed Homogeneous int Cast norm sq · Prove2Me