Adapt to coq/coq#20069 (set_leq_sort doesn't need an env)#630

Merged

ppedrot merged 1 commit intomattam82:mainfrom SkySkimmer:set-leq-noenv

Jan 23, 2025

+1-1

Commits on Jan 22, 2025

Adapt to coq/coq#20069 (set_leq_sort doesn't need an env)
SkySkimmer
committed