Theorem Primrec.ofEquiv_iff

Modification history