Theorem AList.mem_erase

Modification history