mathlib3

767d248b - doc(data/finset/basic): fix confusing typo (#7315)