Theorem Matrix.vecHead_vecAlt0

Modification history