Theorem Primrec.list_foldr

Modification history