Make f_equiv stronger.

It no longer requires the functions on both sides of the relation
to be syntactically the same.
1 job for master in 8 minutes and 4 seconds (queued for 5 minutes and 28 seconds)
Status Job ID Name Coverage
  Test
passed #2536
coq
stdpp-coq8.6

00:08:04