Theorem single_one_dotProduct

Modification history