P
Initializing...
Nonsingular exactly when the determinant is nonzero (Four.I.2) · Prove2Me