Theorem dotProduct_add

Modification history