Adapt to rocq-prover/rocq#20911 (Notation.prim_token_uid is private)#102

proux01 merged 1 commit into

rocq-community:masterrocq-community/bignums:masterfrom

SkySkimmer:notation-uidSkySkimmer/bignums:notation-uidCopy head branch name to clipboard