Theorem Primrec.ofEquiv_symm_iff

Modification history