Theorem dotProduct_zero'

Modification history