Adapt to rocq-prover/rocq#21241 (byte_rec not defined from byte_rect) - #221

Adapt to rocq-prover/rocq#21241 (byte_rec not defined from byte_rect)#221

SkySkimmer merged 1 commit into

rocq-prover:masterrocq-prover/stdlib:masterfrom

SkySkimmer:no-opt-schemesSkySkimmer/rocq-stdlib:no-opt-schemesCopy head branch name to clipboard