mathlib

4168aba3 - refactor(data/fintype): move data/fintype to data/fintype/basic (#2285)

refactor(data/fintype): move data/fintype to data/fintype/basic (#2285) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>