Skip to content

remove compat dance connecting Zeq_bool and Z.eqb#535

Merged
xavierleroy merged 1 commit intoAbsInt:masterfrom andres-erbsen:less-ZArith_baseJan 9, 2025

Commits

Commits on Nov 4, 2024