Theorem AList.lookup_erase

Modification history