Transform assumption, but keep original

Stream: new members

[Tainnor]

Probably a stupid question, but is there an easy way to transform a certain hypothesis (e.g. with apply_fun), but also keep around the original assumption (so I can use it for other transformations)? I suppose, I could use have, but then I'd have to write out the transformed expression in full instead of having it inferred

[Kyle Miller]

You can copy a hypothesis with have h' := h