Theorem List.exists_of_mem_join

Modification history