rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq
Merged
rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq
ralf/gset_eq
into
master
All threads resolved!
All threads resolved!
Compare changes