Skip to content

rename elem_of_equiv_L -> set_eq, and set_equiv_spec_L -> set_eq_subseteq

Ralf Jung requested to merge ralf/gset_eq into master

This hopefully makes the lemmas easier to find.

Edited by Ralf Jung

Merge request reports