fact: Definition dc_list_h10c l := h10c_one 0 :: map h10c_nat (dc_list_const l) ++ map dc_h10c l.
imports: List Arith Lia Max Undecidability.Synthetic.Definitions Undecidability(Shared.Libs.DLW.Utils.utils H10.Dio.dio_logic H10.Dio.dio_elem) Undecidability(H10.FRACTRAN_DIO FRACTRAN.FRACTRAN) Undecidability.DiophantineConstraints.H10C