mathlib

4a6e8cff - chore(data/list/of_fn): injectivity (#15695)