Theorem AList.keys_singleton

Modification history