Theorem dotProduct_zero

Modification history