Adapt to rocq-prover/rocq#21163 (schemes attribute)#906
Draft
SkySkimmer wants to merge 1 commit intoLPCIC:masterfrom
Draft
Adapt to rocq-prover/rocq#21163 (schemes attribute)#906SkySkimmer wants to merge 1 commit intoLPCIC:masterfrom
SkySkimmer wants to merge 1 commit intoLPCIC:masterfrom
