Theorem List.getElem_map_rev

Modification history