Theorem AList.insertRec_insert

Modification history