show 2 functions are equal

Stream: new members

[Max Glick]

Hello, very basic question as I am finishing up the tutorial project. I have a goal u=v where u and v have function types. How do I conclude this, from say \forall n, u n = v n?

[Yaël Dillies]

You use tactic#ext

[Max Glick]

Thanks.