Theorem Matrix.empty_vecAppend

Modification history