Theorem Matrix.single_one_dotProduct

Modification history