Theorem Matrix.tail_val'

Modification history