Theorem AList.insert_empty

Modification history