Theorem Primrec.list_foldl

Modification history