Theorem List.ofFn_eq_pmap

Modification history