Theorem Matrix.cons_head_tail

Modification history