[core-dev] Update coq-stdlib following https://github.com/coq/coq/pull/19952

[core-dev] Update coq-stdlib following https://github.com/coq/coq/pull/19952 #1538