Theorem List.getElem_reverse

Modification history