Adapt to rocq-prover/rocq#21097 (Use einstance everywhere)#139
Merged
ppedrot merged 1 commit intorocq-community:masterfrom Oct 3, 2025
Merged
Adapt to rocq-prover/rocq#21097 (Use einstance everywhere)#139ppedrot merged 1 commit intorocq-community:masterfrom
ppedrot merged 1 commit intorocq-community:masterfrom
