Skip to content

Do not use eta-expansion in `into_forall_forall`.

Robbert Krebbersrequested to merge
robbert/into_forall_eta into master

This fixes #551.

Merge request reports