Theorem Primrec.listFilter

Modification history