Skip to content

Add lemma `set_fold_disj_union_strong`.

Robbert Krebbersrequested to merge
robbert/set_fold_disj_union_strong into master

Stronger version of a lemma suggested by @jihgfee.

TODO: Not sure about the name.

Merge request reports