Theorem primrecRel_iff_primrec_decide

Modification history