Skip to content

Change premise `Equivalence` into `PreOrder` for `set_fold_proper`.

Robbert Krebbers requested to merge robbert/set_fold_proper_preorder into master

Factored out of !478 (merged)

Merge request reports