Skip to content

fix build of coq-mathcomp-multinomials.2.3.0#3255

Merged
palmskog merged 1 commit intocoq:masterfrom palmskog:fix-multinomials-2.3Dec 14, 2024

Commits

Commits on Dec 14, 2024