mathlib3

fix(data/set/finite): finite.fintype is a def

#1931

Merged