Skip to content

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

Robbert Krebbers requested to merge robbert/issue_161 into master

This solves issue #161 (closed)

Merge request reports