Theorem AList.singleton_entries

Modification history