mathlib3

feat(data/list/basic): index_of_inj

#954

Merged