Adapt to coq/coq#19985 (template poly has pseudo sort poly)#742

Closed

SkySkimmer wants to merge 1 commit intoLPCIC:masterfrom SkySkimmer:cominductive-lbound

+1-1

Commits on Jan 23, 2025

Adapt to coq/coq#19985 (template poly has pseudo sort poly)
SkySkimmer
committed