Add sort cumulativity for polymorphic inductive types#21770

JasonGross wants to merge 2 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

JasonGross:sort-cumulativityJasonGross/coq:sort-cumulativityCopy head branch name to clipboard