P
Initializing...
Diagonalizable exactly when there is an eigenbasis (Five.II.3) · Prove2Me