Theorem Matrix.cons_dotProduct_cons

Modification history