Theorem AList.mem_of_perm

Modification history