fact: Definition H10C_RA_UNIV : list h10c -> RA_UNIV_PROBLEM.
imports: List Undecidability.MuRec.Util(recalg ra_univ ra_univ_andrej) Undecidability.MuRec.Util.RA_UNIV_HALT Undecidability.DiophantineConstraints.H10C Undecidability.Synthetic.Definitions