Theorem List.mapIdx_eq_ofFn

Modification history