Theorem AList.perm_erase

Modification history