mathlib

ad6390e4 - Rename generated index equations

Rename generated index equations The index equations are now called `induction_eq` or `cases_eq` (depending on whether we use `eliminate` in induction or cases mode). This should make it clearer to users where they're coming from.