Theorem List.getElem_ofFn_go

Modification history