fact: Definition H10UC_RA_UNIV_AD : list h10uc -> 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