Theorem Primrec.list_findIdx

Modification history