mathlib3

736b1e81 - feat(data/fintype/basic): add decidable_mem_range_fintype (#6817)