Theorem List.getElem_tail

Modification history