Adapt to Rocq PR # 20985 (backward compatible hint)#237

SkySkimmer merged 1 commit intorocq-prover:masterrocq-prover/stdlib:masterfrom

mattam82:rewrite-in-letsmattam82/stdlib:rewrite-in-letsCopy head branch name to clipboard