Theorem List.getElem_enumFrom

Modification history