Theorem AList.lookup_insert

Modification history