Skip to content
Snippets Groups Projects
Ralf Jung's avatar
Ralf Jung authored
rename elem_of_equiv -> set_equiv and set_equiv_spec -> set_equiv_subseteq, and rename some instances to get out of the way
46cc81ad
History
Name Last commit Last update