Theorem AList.union_empty

Modification history