The Coq mailing list

[Robbert Krebbers <mailinglists AT robbertkrebbers.nl>]

On 11/19/2014 04:31 AM, Daniel Schepler wrote:
> Which reminds me: I've been meaning to ask whether there's some
> existing tactic that would act like "setoid f_equal".
"f_equiv"