mathlib3

78ce6e49 - feat(data/fintype): fintype.of_injective