Theorem List.mem_join

Modification history