Update Induction_J.v

doubleの定義修正