Questions Coq is reusing a term in Induction Hypothesis, instead of creating a fresh one byMRDecember 9, 2024