Skip to content

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

Robbert Krebbersrequested to merge
robbert/set_fold_proper_preorder into master

Factored out of !478 (merged)

Merge request reports