Theorem Matrix.dotProduct_zero

Modification history