Skip to content

add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801)#164

Merged
andres-erbsen merged 1 commit intomit-plv:masterfrom andres-erbsen:less-ZArith_baseNov 3, 2024

Commits

Commits on Nov 3, 2024