Adapt to https://github.com/rocq-prover/rocq/pull/21947#2353
Merged
Alizter merged 1 commit intoHoTT:masterfrom Apr 23, 2026
Merged
Adapt to https://github.com/rocq-prover/rocq/pull/21947#2353Alizter merged 1 commit intoHoTT:masterfrom
Alizter merged 1 commit intoHoTT:masterfrom
