Theorem Matrix.tail_sub

Modification history