Adapt to rocq-prover/rocq#21241 (stop relying on eq_rec being defined from eq_rect)#44

samuelgruetter merged 1 commit into

mit-plv:rv32imit-plv/kami:rv32ifrom

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