Theorem List.mem_map_of_injective

Modification history