Theorem Matrix.cons_vecAlt1

Modification history