proveit.logic.sets.equivalence.set_equiv_fold