Theorem diagonal_dotProduct

Modification history