Гипотеза индукции Coq неверна
Вы хотите использовать TWO-скобки, поэтому, если вы выполняете вид действия VLOOKUP:
df = pd.merge(df,df2[['Key_Column','Target_Column']],on='Key_Column', how='left')
Это даст вам все в исходном файле df +, добавив в соответствующий столбец в df2, что вы хочу присоединиться.
0
задан OrenIshShalom 27 March 2019 в 09:49
поделиться
1 ответ
Краткий ответ: уберите eqn:E1 в вызове на induction l1.
Эта директива просит, чтобы тактика induction добавила равенство в утверждение, которое должно быть доказано по индукции. Но если вы добавите такое равенство, то оно появится в утверждении, которое будет доказано индукцией, и это испортит доказательство индукции.
0
ответ дан Yves 27 March 2019 в 09:49
поделиться
Другие вопросы по тегам: