Theorem List.mem_map_of_involutive

Modification history