P
Initializing...
Jacobi formula for the square root of a positive determinant · Prove2Me