mathlib

0b4f07f1 - feat(data/set/basic): add singleton_injective (#11464)