Theorem Matrix.vecAppend_apply_zero

Modification history