Theorem List.ofFn_getElem_eq_map

Modification history