Theorem single_dotProduct

Modification history