mathlib

41a38802 - chore(data/set/sigma): Fix lemma (#17929)

chore(data/set/sigma): Fix lemma (#17929) I accidentally used a non-bound variable where I wanted to bind it. This resulted in an unusable lemma.