Skip to content
GitLab

Tweak `f_equiv` to use `reflexivity` in a way similar to `f_equal`.

Merged Robbert Krebbers requested to merge robbert/issue_161 into master

This solves issue #161 (closed)