Adapt to rocq-prover/rocq#21773 (sort poly cumulativity)#1250
Draft
SkySkimmer wants to merge 2 commits into
Draft
Adapt to rocq-prover/rocq#21773 (sort poly cumulativity)#1250SkySkimmer wants to merge 2 commits into
SkySkimmer wants to merge 2 commits into
