mathlib

9f79d2eb - fix(tactic/h_generalize): fix name resolution in h_generalize (#688)