Skip to content

Fix inconsistent arguments of `subset_difference_elem_of`.

Robbert Krebbersrequested to merge
robbert/subset_difference_elem_of into master

Merge request reports