use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)#534
Closed
andres-erbsen wants to merge 1 commit intoAbsInt:masterfrom
Closed
use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)#534andres-erbsen wants to merge 1 commit intoAbsInt:masterfrom
andres-erbsen wants to merge 1 commit intoAbsInt:masterfrom
