Theorem List.mem_attach

Modification history