Theorem AList.insert_singleton_eq

Modification history