Theorem List.getElem_tails

Modification history