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 andres-erbsen:less-ZArith_base

+1-3

Commits on Nov 3, 2024

use Z.eqb_eq instead of Z.eqb_compare (for coq/coq#19801 )
andres-erbsen
committed