Theorem AList.perm_replace

Modification history