Theorem Matrix.dotProduct_empty

Modification history