Skip to content
Snippets Groups Projects

rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq

Merged Ralf Jung requested to merge ralf/gset_eq into master
Loading