Theorem add_dotProduct

Modification history