Theorem AList.perm_insert

Modification history