Skip to content
Snippets Groups Projects

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

Merged Tweak `f_equiv` to use `reflexivity` in a way similar to `f_equal`.
robbert/issue_161 into master
Merged Robbert Krebbers requested to merge robbert/issue_161 into master