mathlib

644a848d - fix(tactic/generalize_proofs): instantiate mvars (#13025)

fix(tactic/generalize_proofs): instantiate mvars (#13025) Reported on [Zulip](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/generalize_proofs.20failed/near/276965359).