Theorem Primrec.list_findIdx₁

Modification history