Theorem AList.mem_insert

Modification history