mathlib3

728eefec - docs(data/fintype/basic): add module docstring (#8081)