Theorem List.infix_of_mem_join

Modification history