Theorem Matrix.J_squared

Modification history