see dependencies
import proveit from proveit import defaults from proveit import x from proveit.logic.sets.enumeration import enum_set_def
%proving unfold
defaults.assumptions = unfold.all_conditions()
enum_set_def
#enum_set_def.instantiate({x:x, yy:yy})
#%qed