specializing multiple hypothesis with the same thing

Stream: new members

[Saif Ghobash]

Here is an example,

example (h1 : 1 = 1) (h2 : 1=1 → 2=2) (h3 : 1=1 → 3 = 3) :
 2 = 2 ∧ 3 = 3 :=
begin
  -- I want to be able to do something like this:
  -- specialize [h2, h3] h1,
  -- exact (and.intro h2 h3),

  -- As opposed to this,
  specialize h2 h1,
  specialize h3 h1,
  exact (and.intro h2 h3),
end

Is there some way of achieving this in lean?

[Yury G. Kudryashov]

I guess you need to write a new tactic based on specialize to get this.