kdrag.theories.int.induct_nat_strong

kdrag.theories.int.induct_nat_strong(x, P)