Update Induction_J.v

doubleの定義抜けを修正