Theorem AList.insertRec_empty

Modification history