Skip to content

Make `foldr_cons_permute` lemmas consistent.

Robbert Krebbers requested to merge robbert/foldr_cons_permute into master

See CHANGELOG.

Addressing issue pointed out in !417 (comment 85025)

Merge request reports