mathlib3

chore(data/fintype): change `unique.fintype` to priority 0

#1230

Merged