Commit 2022-12-13 19:33 41a38802
View on Github →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.
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.