Theorem Matrix.head_sub

Modification history