mathlib

fe5ec00e - doc(tactic/generalize_proofs): docs and test for generalize_proofs (#5715)

doc(tactic/generalize_proofs): docs and test for generalize_proofs (#5715) As requested on Zulip: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Extracting.20un-named.20proofs.20from.20the.20goal.20state/near/222472426