fix after rocq-prover/bignums#107#141

tabareau wants to merge 1 commit into

rocq-community:masterrocq-community/math-classes:masterfrom

tabareau:fix-after-107-bignumstabareau/math-classes:fix-after-107-bignumsCopy head branch name to clipboard