Skip to content

Fix inconsistent arguments of `subset_difference_elem_of`.

Robbert Krebbers requested to merge robbert/subset_difference_elem_of into master

Merge request reports