Theorem dotProduct_le_dotProduct_of_nonneg_right

Modification history