Require Import ZArith before using it in ModularArithmeticTheorems.v (for coq/coq#19801)#1979

Merged

andres-erbsen merged 1 commit intomit-plv:sp2019latestfrom andres-erbsen:less-ZArith_base-legacy

Nov 3, 2024

Commits on Nov 3, 2024

Require Import ZArith before using it in ModularArithmeticTheorems.v
andres-erbsen
committed