Theorem List.range_map_coe

Modification history