Skip to content

Adapt to coq#19822#115

Merged
JasonGross merged 1 commit intomit-plv:masterfrom Tragicus:pr19822Nov 20, 2024

Commits

Commits on Nov 18, 2024