Theorem AList.insert_of_neg

Modification history