Theorem List.mem_ext

Modification history