mathlib
9a38c196 - feat(data/list/indexes): map_with_index_eq_of_fn (#11163)

Commit
4 years ago
feat(data/list/indexes): map_with_index_eq_of_fn (#11163) Some `list.map_with_index` API.
Author
Parents
Loading