Theorem Matrix.dotProduct_zero'

Modification history