Theorem Matrix.cons_vecAppend

Modification history