Theorem dotProduct_self_star_nonneg

Modification history