Theorem Primrec.list_indexOf₁

Modification history