Theorem Primrec.list_get?

Modification history