chore(data/{finset,set}/basic): Align lemmas (#17805) Match the set and finset statements.
set
finset