Skip to content
Snippets Groups Projects

Do not use eta-expansion in `into_forall_forall`.

Open Do not use eta-expansion in `into_forall_forall`.
robbert/into_forall_eta into master
Open Robbert Krebbers requested to merge robbert/into_forall_eta into master
Compare
and
Compare changes
  • Side-by-side
  • Inline
Files
10