mathlib

65ff54c7 - feat(data/fintype/basic): add fin_injective (#10330)