finset.mem_coe source