[Hol-info] How to remove a same function in a goal

[Lu Z. <lu...@cs...>]

Hi,

I have a goal looks like the following

`f x = f y`

I want to reduce it to

`x = y`

How can I do this, if it's doable?

Thanks.
Lu