Theorem Primrec.of_equiv_symm_iff

Modification history