Theorem Matrix.cons_dotProduct

Modification history