Skip to content

Do not use eta-expansion in `into_forall_forall`.

Robbert Krebbers requested to merge robbert/into_forall_eta into master

This fixes #551.

Merge request reports