mathlib3

1706e552 - feat(data/list/basic) add update_nth_comm (#5989)

feat(data/list/basic) add update_nth_comm (#5989) As requested on Zulip at https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/list.2Eupdate_nth_comm/near/223007424