Skip to content

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

Open
andres-erbsen wants to merge 1 commit intocoq-community:masterfrom andres-erbsen:less-ZArith_base
+1-1

Commits