Theorem Matrix.vecAlt0_vecAppend

Modification history