Theorem dotProduct_diagonal

Modification history