Skip to content

rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq

Ralf Jungrequested to merge
ralf/gset_eq into master

This hopefully makes the lemmas easier to find.

Edited by Ralf Jung

Merge request reports