Skip to content

Add lemma `set_fold_disj_union_strong`.

Robbert Krebbers requested 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