mathlib

d451876b - doc(data/finset/basic): rewrite finset module doc (#5893)

doc(data/finset/basic): rewrite finset module doc (#5893) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com> Co-authored-by: Hanting Zhang <76727734+acxxa@users.noreply.github.com>