Theorem List.getElem_ofFn

Modification history