Adapt w.r.t. coq/coq#18910.#143

Merged

jwiegley merged 1 commit intojwiegley:masterfrom ppedrot:setoid-type-core-tc-opaque

Apr 10, 2024

+1-1

Commits on Apr 8, 2024

Adapt w.r.t. coq/coq#18910 .
ppedrot
committed