Theorem Matrix.vecHead_vecAlt1

Modification history