Theorem Primrec.list_get?₁

Modification history