Theorem List.get_tail

Modification history