Theorem Primrec.ofEquiv_symm

Modification history