Theorem List.head_cons_tail

Modification history