Theorem List.mem_join_of_mem

Modification history